بحث بسيط
السجلات المعروضة 1 -- 10 من 28
Redesciption of Ten species of digenetic trematodes from marine fish of Emirati coastsof the Arabian Gulf
(
Arab Bureau of Education for the Gulf States
, 2003 , Article)
Ten species of digenetic trematodes are fully described from fishes of the United Arab Emirates. These specimens, which have been previously described in a list which comprised different helminth fauna, commonly infest ...
A multi-level conceptual data reduction approach based on the Lukasiewicz implication
(
Elsevier Science Inc
, 2003 , Article)
Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ...
End-to-end outage probability of multihop transmission over lognormal shadowed channels
(
King Fahd University of Petroleum & Minerals
, 2003 , Article)
End-to-end outage probability evaluation of multihop wireless communication systems over lognormal shadowed channels is presented. Closed-form expression for the end-to-end signal to noise ratio of systems equipped with ...
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 ...
Frequency and harmonics evaluation in power networks using fuzzy regression technique
(
Elsevier
, 2003 , Article)
A new technique for frequency and harmonic evaluation in power networks is proposed in this paper. This technique is based on fuzzy linear regression and uses the digitized voltage samples, which are fuzzy numbers, to ...
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference Paper)
Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...
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 ...