Search
Now showing items 321-330 of 379
Novel potentiometric copper (II) selective membrane sensors based on cyclic tetrapeptide derivatives as neutral ionophores
(
Elsevier
, 2005 , Article)
Two novel membrane sensors sensitive and reasonably selective for Cu2+ ions are described. These are based on the use of newly synthesized cyclic tetrapeptide derivatives as neutral ionophores and sodium tetraphenylborate ...
Novel thorium membrane sensors with anionic response based on trioctylphosphine oxide and toluate ionophores
(
Wiley-VCH Verlag
, 2008 , Article)
Two novel potentiometric polymeric membrane sensors for rapid and accurate determination of thorium are described. These are based on the use of trioctylphosphine oxide (TOPO) and thorium toluate (Th-TA) as ionophores ...
Continuous potentiometric monitoring of viagra (sildenafil) in pharmaceutical preparations using novel membrane sensors
(
Springer Nature
, 2006 , Article)
Two potentiometric sensors responsive to sildenafil citrate (SC) drug (the active component of viagra) are described, characterized, compared and used for drug assessment. The sensors are based on the use of the ion-association ...
Text Summarization Based on Conceptual Data Classification
(
IGI Global
, 2006 , Article)
In this article, we present an original approach for text summarization using conceptual data classification. We show how a given text can be summarized without losing meaningful knowledge and without using any semantic ...
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 ...