Qatar Foundation Annual Research Forum Volume 2013 Issue 1

Abstract. The concept of a fault has been introduced in the context of a comprehensive study of system dependability, and is defined as a feature of the system that causes it to fail with respect to its specification. In this paper, we argue that this definition does not enable us to localize a fault, nor to count faults, nor to define fault density. We argue that rather than defining a fault, we ought to focus on defining faulty programs Read More

The production of aluminum products, like other metallurgical industries, comprehends of a large variety of material processing steps. These processes require a multitude of material handling operations, buffers and transports to interconnect single process steps within aluminum smelters or downstream manufacturing plants like rolling mills or extrusion plants. On the one hand, the electrolysis process as the core Read More

We have developed a linear programming formulation to describe Qatar steel manufacturing supply chain from suppliers to consumers. The purpose of the model is to provide answers regarding the optimal amount of raw materials to be requested from suppliers, the optimal amount of finished products to be delivered to each customer and the optimal inventory level of raw materials. The model is validated and solved u Read More

Multiphase production metering - Benefits from an Industrial Data Validation and Reconciliation approach Simon Manson, Mohamed Haouche, Pascal Cheneviere and Philippe Julien TOTAL Research Center-Qatar at QSTP - DOHA, Qatar Contact: simon.manson@total.com Context and objectives TOTAL E&P QATAR (TEPQ) is the Operator of AL-Khaleej offshore Oil field under Production Sharing Agreement (PSA) with Qat Read More

In support of Qatar's National Road Safety Strategy and under the umbrella of the National Traffic Safety Committee, Qatar Petroleum's Research and Technology Department in cooperation with Williams Advanced Engineering has undertaken a study of the state of tyre safety in the country. This study has reviewed the regulatory and legislative frameworks governing tyre usage in the country, as well as collected data on how Read More

Reasoning in propositional logic is a key element in software engineering; it is applied in different domains, e.g: specification validation, code checking, theorem proving, etc. Since reasoning is a basic component in the analysis and verification of different critical systems, significant efforts have been dedicated to improve its efficiency in terms of time complexity, correctness and generalization to new problems support (e.g. Read More

The main focus of the study was to find out the level of awareness about effectiveness of ICT mediated extension service in disseminating farm information to the farmers. The factors influencing awareness of the farmers and the problems faced by the farmers in getting farm information were also explored. Data were collected from a sample of 100 farmers out of 700. A structured interview schedule and check list were u Read More

The goal of this work is to explore the role of technology tools in enhancing the teaching and learning processes for English as a foreign or second language. Literacy is a crucial skill that is often linked to quality of life. However, access to literacy is not universal. Therefore, the significance of this research is its potential impact on the global challenge of improving child and adult literacy rates. Today's globalized world often de Read More

In recent years face recognition has received substantial attention from both research communities and the market, but still remained very challenging in real applications. A lot of face recognition algorithms, along with their modifications, have been developed during the past decades. A number of typical algorithms are presented, being categorized into appearance based and model-based schemes. In this paper we wil Read More

Humanitarian Computing Library