Faculty Area: Computer Science and Artificial Intelligence

Towards mobile opportunistic cloud computing: Enabling generic computational offloading to extreme heterogeneous entities

With lighter and smaller mobile devices replacing laptops and PC’s, the advent of wearable computing, and the resulting growth in mobile application market, mobile user expectations for pervasive computation and…

Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

With NPRP project 09-1107-1-168 (ending in February 2014), we have outlined the foundations of a framework for representing Concurrent, Distributed and Parallel (CDP) languages and explored methodologies to formally prove…

The garbled computer: Towards computing without seeing

This proposal aims at the development of a new secure computer model called the Garbled Computer (GC). An adversary observing the computations of a GC learns nothing about what it…

MADAR: Multi-Arabic dialect applications and resources

The Arabic language today is a collection of varieties that are historically related to Classical Arabic. The standard variety, Modern Standard Arabic (MSA), is the accepted primarily written language of…

Testing English reading comprehension through deep text analysis and question generation

This is a follow-up proposal to NPRP-09-873-1-129 “A natural language processing-based active and interactive platform for accessing English language content and advanced language learning” (completed August 2014) whose goal was…

Scalable analytics engine for big graphs on the cloud

Large-scale graph-oriented computations are becoming central to our modern life, ranging from social networks, through disease outbreak paths, to transportation routes. For instance, in prosperous cities where economy and population…

Personalised drug selection for cancer treatment in Qatar

Cancer is now the number one cause of death in Qatar. Despite a remarkable series of changes made over the last decade, the discovery and development of new medicines is…

QHCN: Towards reliable and efficient mHealth system with multimodal processing and communications for effective remote patient diagnosis

Mobile healthcare (mHealth) systems integrate patient networks with medical infrastructures to facilitate remote diagnosis of medical conditions reliably and effectively. The rising number of chronic disease and aging patients, mandating…

Optdiac: An optimal diacritization scheme for Arabic orthographic representation

Different languages use different scripts for orthographic (spelling of sounds) representations in their writing system. Typical Arabic orthography is mostly consonantal and it is underspecified for short vowels and other…

Collaborative bandwidth aggregation for mobile users