Search
Now showing items 11-20 of 34
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. ...
Positron annihilation studies of the effect of gamma irradiation dose in polymers
(
Elsevier Ltd
, 2003 , Conference Paper)
Positron annihilation lifetime (PAL) technique has been applied to study the effect of gamma irradiation dose on the structure of low-density polyethylene and polystyrene. The positron annihilation lifetime measurements ...
Electron irradiated low-density polyethylene studied by positron annihilation lifetime spectroscopy
(
Elsevier Ltd
, 2003 , Conference Paper)
A study of the degree and rate of cross-linking of low-density polyethylene (LDPE) as a result of irradiation by high-energy electron beam has been performed using positron annihilation lifetime (PAL) technique. The PAL ...
Improvement of the DSATUR algorithm for graph coloring
(
Arabian Gulf University
, 2003 , Article)
In this paper we discuss the deterministic Brelaz's DSATUR algorithm for graph coloring. We propose a simple modification that improves the performance of the algorithm. This modification consists of assigning the color ...
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 ...
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference Paper)
Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...
Park's transformation application for power system harmonics identification and measurements
(
Taylor & Francis
, 2003 , Article)
This paper presents the application of Park's transformation for identifying and measuring power system harmonics. One of the advantages of the proposed technique is that it does not need a model for the harmonics components ...
Chronostratigraphy and geochemical characterization of volcanic rocks from the Hormuz Complex: Constraints from the Halul Island, The State of Qatar
(
sultan qaboos university
, 2003 , Article)
Geochemical and Sr-Nd isotopic data are reported for volcanic rocks in the Hormuz Complex, Halul Island, Eastern Qatar. Two groups of volcanic rocks are distinct in their geochemical characteristics. Group 1 samples have ...
Activation and stabilization of gallium arsenide anode in an aqueous photoelectrochemical cell
(
Elsevier
, 2003 , Article)
The formation of a porous layer on the surface of gallium arsenide anode, n-GaAs, increases photogenerated currents significantly. This layer was formed as a result of an anodic polarization of illuminated n-GaAs in acidified ...
Two digital filtering algorithms for fast estimation of symmetrical components in a power system: A static estimation approach
(
Elsevier
, 2003 , Article)
This paper presents the application of two digital filters working together for fast estimation of power systems symmetrical components. The three-phase unbalanced system is transformed to two phases using α–β-transformation. ...