Search Results - "Zaraket, Fadi A"

Molecular Architecture of Spinal Cord Injury Protein Interaction Network by Alawieh, Ali, Sabra, Mohammed, Sabra, Zahraa, Tomlinson, Stephen, Zaraket, Fadi A

“…Spinal cord injury (SCI) is associated with complex pathophysiological processes that follow the primary traumatic event and determine the extent of secondary…”
Get full text

Assessing the impact of the Lebanese National Polio Immunization Campaign using a population-based computational model by Alawieh, Ali, Sabra, Zahraa, Langley, E Farris, Bizri, Abdul Rahman, Hamadeh, Randa, Zaraket, Fadi A

“…After the re-introduction of poliovirus to Syria in 2013, Lebanon was considered at high transmission risk due to its proximity to Syria and the high number of…”
Get full text

Systems biology, bioinformatics, and biomarkers in neuropsychiatry by Alawieh, Ali, Zaraket, Fadi A, Li, Jian-Liang, Mondello, Stefania, Nokkari, Amaly, Razafsha, Mahdi, Fadlallah, Bilal, Boustany, Rose-Mary, Kobeissy, Firas H

“…Although neuropsychiatric (NP) disorders are among the top causes of disability worldwide with enormous financial costs, they can still be viewed as part of…”
Get full text

Verification at RTL Using Separation of Design Concerns by Safieddine, Maya H., Zaraket, Fadi A., Kanj, Rouwaida, El-Zein, Ali, Roesner, Wolfgang

“…Design-for-test, logic built-in self-test, memory technology mapping, and clocking concerns require team-months of verification time as they traditionally…”
Get full text

Model Checking Software with First Order Logic Specifications Using AIG Solvers by Noureddine, Mohammad A., Zaraket, Fadi A.

“…Static verification techniques leverage Boolean formula satisfiability solvers such as SAT and SMT solvers that operate on conjunctive normal form and first…”
Get full text

GUICop: Approach and toolset for specification‐based GUI testing by Hammoud, Dalal, Zaraket, Fadi A., Masri, Wes

“…Summary Oracles used for testing graphical user interface (GUI) programmes are required to take into consideration complicating factors such as variations in…”
Get full text

A Rich-Club Organization in Brain Ischemia Protein Interaction Network by Alawieh, Ali, Sabra, Zahraa, Sabra, Mohammed, Tomlinson, Stephen, Zaraket, Fadi A.

“…Ischemic stroke involves multiple pathophysiological mechanisms with complex interactions. Efforts to decipher those mechanisms and understand the evolution of…”
Get full text

From high-level modeling toward efficient and trustworthy circuits by Zaraket, Fadi A., Jaber, Mohamad, Noureddine, Mohamad, Falcone, Yliès

“…Behavior–interaction–priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization,…”
Get full text

Skill-based framework for optimal software project selection and resource allocation by Zaraket, Fadi A., Olleik, Majd, Yassine, Ali A.

“…•We propose a conceptual skill-based framework to capture resource allocation in software development projects.•We build a corresponding mathematical model for…”
Get full text

A computational model to monitor and predict trends in bacterial resistance by Alawieh, Ali, Sabra, Zahraa, Bizri, Abdul Rahman, Davies, Christopher, White, Roger, Zaraket, Fadi A.

“…•BARDmaps is a novel computational model for analysis of bacterial resistance trends.•BARDmaps reliably predicted near-future antimicrobial resistance changes…”
Get full text

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations by Jarrar, Mustafa, Zaraket, Fadi A, Hammouda, Tymaa, Alavi, Daanish Masood, Wahlisch, Martin

“…This article presents morphologically-annotated Yemeni, Sudanese, Iraqi, and Libyan Arabic dialects ({\text{L}\hat{\text{i}}\text{sa}\bar{\text{n}}}) corpora…”
Get full text

Separation of concerns for hardware components of embedded systems in BIP by Safieddine, Maya H., Kanj, Rouwaida, Zaraket, Fadi A., Elzein, Ali, Jaber, Mohamad

“…Memory-based concerns such as Design-for-test, logic built in self test, memory technology mapping and clock division concerns traditionally happen at…”
Get full text

Automated FPGA implementations of BIP designs by Safieddine, Maya H., Zaraket, Fadi A., Jaber, Mohamad, Kanj, Rouwaida, Saghir, Mazen A. R.

“…Embedded system designs have IP components that each may be implemented as either software or realtime accelerated hardware depending on the logic and the…”
Get full text

Back-of-the-Book Index Automation for Arabic Documents by Haidar, Nawal, Zaraket, Fadi A

“…Back-of-the-book indexes are crucial for book readability. Their manual creation is laborious and error prone. In this paper, we consider automating…”
Get full text

P4AIG: Circuit-Level Verification of P4 Programs by Noureddine, Mohammad A., Hsu, Amanda, Caesar, Matthew, Zaraket, Fadi A., Sanders, William H.

“…In this work, we set out to develop P4 AIG, a tool for the static verification of programmable data planes using sequential circuit analysis. P4 AIG targets P4…”
Get full text

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations by Jarrar, Mustafa, Zaraket, Fadi A, Hammouda, Tymaa, Alavi, Daanish Masood, Waahlisch, Martin

“…This article presents morphologically-annotated Yemeni, Sudanese, Iraqi, and Libyan Arabic dialects Lisan corpora. Lisan features around 1.2 million tokens. We…”
Get full text

Morphology-based Entity and Relational Entity Extraction Framework for Arabic by Jaber, Amin, Zaraket, Fadi A

“…Traitement Automatique des Langues (TAL). 58.3 (2017): 97-121 Rule-based techniques to extract relational entities from documents allow users to specify…”
Get full text

GUICop: Approach and Toolset for Specification-based GUI Testing by Hammoud, Dalal, Zaraket, Fadi A, Masri, Wes

“…Oracles used for testing graphical user interface (GUI) programs are required to take into consideration complicating factors such as variations in screen…”
Get full text

Model Checking Software Programs with First Order Logic Specifications using AIG Solvers by Zaraket, Fadi A, Noureddine, Mohamad

“…Static verification techniques leverage Boolean formula satisfiability solvers such as SAT and SMT solvers that operate on conjunctive normal form and first…”
Get full text

MATAr: Morphology-based Tagger for Arabic by Zaraket, Fadi A., Jaber, Ameen

“…Computational linguistic and natural language processing automation tasks require text annotated with tags that represent the desired output of the task. The…”
Get full text