بحث بسيط
السجلات المعروضة 1 -- 10 من 34
A methodology for time-frequency image processing applied to the classification of nonstationary multichannel signals using instantaneous frequency descriptors with application to newborn EEG signals
(
Springer
, 2003 , Article)
This article presents a general methodology for processing non-stationary signals for the purpose of classification and localization. The methodology combines methods adapted from three complementary areas: time-frequency ...
Complications of Diabetes Mellitus Among Patients Attending Outpatient Clinics in Qatar
(
Hamad bin Khalifa University Press (HBKU Press)
, 2003 , Article)
The objective of this study was to explore the prevailing complications of diabetes mellitus and to explore some of the associated factors among Qatari patients previously diagnosed as having diabetes mellitus. A random ...
Preface
(
Elsevier
, 2003 , Article)
In recent years the involvement of Information Technology in business,
governments, and education has increased dramatically. More and more research
works have been conducted in different areas of Information Technology
such ...
Temperature and electric field effects on the dielectric dispersion of modified polyvinyl chloride
(
Elsevier
, 2003 , Article)
The effect of electric field on the dielectric dispersion of modified polyvinyl chloride (PVC) has been investigated. The applied direct current (DC) field strength was ranging from 0 to 104 V cm−1. The complex permitivity ...
Ion beam modification of surface properties of polyethylene
(
Elsevier
, 2003 , Conference Paper)
Improvement of polymer tribological properties is an essential issue for their application when used as parts of machines or artificial human joints. Ion implantation is a very promising technique in this respect. This ...
Mechanical and thermal properties of gamma-ray irradiated polyethylene blends
(
Elsevier
, 2003 , Conference Paper)
In this work, the results obtained by gamma-ray irradiation of polyethylene (PE) blends are presented. The blends were produced by injection molding at 220°C with different compositional ratios, i.e. 100/0, 15/85, 25/75, ...
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. ...