Search
Now showing items 71-80 of 103
Flow induced vibrations of pressure let-down station in QATARGAS
(2006 , Conference Paper)
The use of the pipes to transfer oil and gases from production to export places is a common application in oil and gas industries. The safety and stability of the pipelines are crucial to prevent human and equipment losses. ...
Baseline formation for damage diagnosis in one dimensional-beam problems
(2002 , Conference Paper)
A brief account of the theories behind modal analysis, dimensional analysis, the stereolithography process and the strain energy damage detection method is presented. An integrated system of those techniques is formulated ...
Environmental impact of fuel spills on land
(2006 , Conference Paper)
This study considers the toxicity and flammability of emitted fuel vapor from un-ignited pools of spilled chemicals on land. It also estimates the thermal radiation levels emitted from such pools in case they catch fire. ...
Abnormal release of toxic gases from natural gas processing plants
(
American Society of Mechanical Engineers (ASME)
, 2001 , Conference Paper)
Qatar, one of the Arabian Gulf States, possesses one of the world's largest non-associated gas fields. Most of the country's development plans are based on the preparation of natural gas for export and local use. Under ...
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference Paper)
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...
An assistive computerized system for children with intellectual and learning disabilities
(
Springer
, 2009 , Conference Paper)
This work proposes an assistive computerized system using the Arabic language for children with intellectual and learning disabilities (ILD) who are resident at Shafallah Center in Doha, Qatar. The system is flexible and ...
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
(
IEEE
, 2003 , Conference Paper)
In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference Paper)
The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ...
Towards an electronic voting system for the state of Qatar
(
IEEE
, 2009 , Conference Paper)
In this paper we propose an electronic voting system for the state of Qatar. The system allows Qataris people to vote online from their preferred locations, (homes or offices) without the need to move physically to the ...
VALID-2: A practical modeling, simulation and verification software for distributed systems
(
IEEE
, 2004 , Conference Paper)
Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal ...