Search Results - "Amin, Nada"

Cytoscape: a software environment for integrated models of biomolecular interaction networks by Shannon, Paul, Markiel, Andrew, Ozier, Owen, Baliga, Nitin S, Wang, Jonathan T, Ramage, Daniel, Amin, Nada, Schwikowski, Benno, Ideker, Trey

“…Cytoscape is an open source software project for integrating biomolecular interaction networks with high-throughput expression data and other molecular states…”
Get full text

GPI-AP: Unraveling a New Class of Malignancy Mediators and Potential Immunotherapy Targets by Hussein, Nada H, Amin, Nada S, El Tayebi, Hend M

“…With millions of cases diagnosed annually and high economic burden to cover expensive costs, cancer is one of the most difficult diseases to treat due to late…”
Get full text

Thymoquinone: A Tie-Breaker in SARS-CoV2-Infected Cancer Patients? by Elgohary, Sawsan, Elkhodiry, Aya A, Amin, Nada S, Stein, Ulrike, El Tayebi, Hend M

“…Since the beginning of the SARS-CoV-2(severe acute respiratory syndrome-coronavirus-2) pandemic, arace to develop a vaccine has been initiated, considering the…”
Get full text

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren by Foksinska, Aleksandra, Crowder, Camerron M., Crouse, Andrew B., Henrikson, Jeff, Byrd, William E., Rosenblatt, Gregory, Patton, Michael J., He, Kaiwen, Tran-Nguyen, Thi K., Zheng, Marissa, Ramsey, Stephen A., Amin, Nada, Osborne, John, Might, Matthew

“…There are over 6,000 different rare diseases estimated to impact 300 million people worldwide. As genetic testing becomes more common practice in the clinical…”
Get full text

Rs205764 and rs547311 in linc00513 may influence treatment responses in multiple sclerosis patients: A pharmacogenomics Egyptian study by Amin, Nada Sherif, Abd El-Aziz, Mostafa K, Hamed, Mohamed, Moustafa, Ramez Reda, El Tayebi, Hend M

“…Multiple sclerosis (MS) is characterized by a complex etiology that is reflected in the lack of consistently predictable treatment responses across patients of…”
Get full text

Global architecture of genetic interactions on the protein network by Ozier, Owen, Amin, Nada, Ideker, Trey

Get full text

When less is more: The association between the expression of polymorphic CYPs and AFB1-induced HCC by Mohamed, Asmaa Ashraf, Armanious, Monica, Bedair, Rana W, Amin, Nada Sherif, El Tayebi, Hend M

“…An individual's genetic fingerprint is emerging as a pivotal predictor of numerous disease- and treatment-related factors. Single nucleotide polymorphisms…”
Get full text

More gain, less pain: How resistance training affects immune system functioning in multiple sclerosis patients: A review by Amin, Nada Sherif, El Tayebi, Hend M.

“…•Resistance training improves many aspects in the physical and emotional wellbeing of multiple sclerosis patients.•In resistance trained individuals, multiple…”
Get full text

Proceedings 36th International Conference on Logic Programming (Technical Communications): Datalog-Based Systems Can Use Incremental SMT Solving (Extended Abstract) by Bembenek, Aaron, Ballantyne, Michael, Greenberg, Michael, Amin, Nada

Get full text

What's your cup of tea? The role of herbal compounds in the management of multiple sclerosis by Abdelgaied, Mohamed Y., Abd El-Aziz, Mostafa K., Amin, Nada Sherif, El Tayebi, Hend M.

“…Multiple Sclerosis (MS) is a chronic, inflammatory, neurodegenerative disease that is characterized by a complex etiology. Efforts towards the management of MS…”
Get full text

In vitro and in vivo Response to a Novel Borophosphate Bioactive Glass by Abokefa, Nada Amin Mohamed Abdelrahaman

“…Bioactive glasses have been widely used in several biomedical and tissue engineering applications since the late 1960s. Numerous families of bioactive glasses…”
Get full text

Cytogenetic effects of copper-containing intrauterine contraceptive device (IUCD) on blood lymphocytes by Shubber, Esmail, Amin, Nada S, El-Adhami, Batool H

“…Forty women using the copper-containing intrauterine contraceptive device (IUCD) for various periods and 22 control women were studied. The copper and zinc…”
Get full text

Computer-aided design for microfluidic chips based on multilayer soft lithography by Amin, N., Thies, W., Amarasinghe, S.

“…Microfluidic chips are emerging as a powerful platform for automating biology experiments. As it becomes possible to integrate tens of thousands of components…”
Get full text

Multi-objective generative AI for designing novel brain-targeting small molecules by Noori, Ayush, Arango, Iñaki, Byrd, William E, Amin, Nada

“…The strict selectivity of the blood-brain barrier (BBB) represents one of the most formidable challenges to successful central nervous system (CNS) drug…”
Get full text

DafnyBench: A Benchmark for Formal Software Verification by Loughridge, Chloe, Sun, Qinyi, Ahrenbach, Seth, Cassano, Federico, Sun, Chuyue, Sheng, Ying, Mudide, Anish, Misu, Md Rakib Hossain, Amin, Nada, Tegmark, Max

“…We introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. We test the…”
Get full text

From F to DOT: Type Soundness Proofs with Definitional Interpreters by Rompf, Tiark, Amin, Nada

“…Scala's type system unifies ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a…”
Get full text

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search by Brandfonbrener, David, Henniger, Simon, Raja, Sibi, Prasad, Tarun, Loughridge, Chloe, Cassano, Federico, Hu, Sabrina Ruixin, Yang, Jianang, Byrd, William E, Zinkov, Robert, Amin, Nada

“…Large Language Models (LLMs) can generate useful code, but often the code they generate cannot be trusted to be sound. In this paper, we present VerMCTS, an…”
Get full text

Para influenza virus 3 infection in cattle and small ruminants in Sudan by Saeed, Intisar, Ali, Yahia, Taha, Khalid, Mohammed, Nada, Nouri, Yasir, Mohammed, Baraa, Mohammed, Osama, Elmagboul, Salma, AlGhazali, Fahad

“…This study was aimed at elucidating the association between Para influenza virus 3 (PIV3) and respiratory infections in domestic ruminants in different areas…”
Get full text

First report of Bovine Viral Diarrhea Virus antigen from pneumonic cattle in Sudan by Saeed, Intisar, Ali, Yahia, Taha, Khalid, Mohammed, Nada, Nouri, Yasir, Mohammed, Baraa, Mohammed, Osama, Elmagbool, Salma, Elghazali, Fahad

“…To explore the expected role of Bovine Viral Diarrhea Virus (BVDV) in pneumonia in cattle, cattle lungs (n=242) showing signs of pneumonia were collected from…”
Get full text