Doppler radar can detect an object movement from a change of ratio reflection. In many cases, a radar with a single receiver could receive multiple reflections as a single mixed signal because of a variety of moving objects. Therefore, the source separation techniques are required to detect each object. In this paper, we extract the features from a mixed radar signal composed of two different p...

Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e ciently perform reasoning tasks. Singly connected networks are important speci ® c cases where there is no more than one undirected path connecting each pair of variables. The aim of this paper is to investigate the kind o...

The work reported here is based on ideas from (modular) algebraic specifications of abstract data types [3 1,2,6,23], abstract semantic algebras [25,26], and compiler descriptions based on attribute grammars [22]. Many papers have utilized ideas of abstract data type theory to improve the structure of semantics definitions and/or compiler descriptions. In [4], following [lo] and [24], the funda...

A deductive system for automated database normalization is implemented by using a HiLog reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independency normal form (FINF). Examples of system usage are presented and discussed.

We investigate the relation between monotonicity and the no-show paradox in voting rules. Although the literature has established their logical independence, we show, by presenting logical dependency results, that the two conditions are closer than a general logical independency result would suggest. Our analysis is made both under variable and fixed-size electorates.

IMPORTANCE Spectacle independence is becoming increasingly important in cataract surgery. Not correcting corneal astigmatism at the time of cataract surgery will fail to achieve spectacle independency in 20% to 30% of patients. OBJECTIVE To compare bilateral aspherical toric with bilateral aspherical control intraocular lens (IOL) implantation in patients with cataract and corneal astigmatism...