Constraint satisfaction is a relatively young research area of Artificial Intelligence addressing combinatorial optimization problems. Until recent years, there were only a few books describing the topic so it was not easy for newcomers to get in and to understand the techniques behind constraint satisfaction. This situation hindered education in the area so the community did not grow and devel...

Lead Principle Investigator: Co-Investigator Gennady Friedman, Associate Professor, Alan Feinerman, Associate Professor, The University of Illinois at Chicago The University of Illinois at Chicago Department of Electrical Engineering Department of Electrical Engineering and Computer Science, Mail Code 154 and Computer Science, Mail Code 154 851 South Morgan Street 851 South Morgan Street Chicag...

ing and Indexing ServicesThe Journal is indexed by Accounting and Tax Index, Emerald ManagementReviews (Online Edition), Environmental Science and Pollution Manage-ment, Risk Abstracts (Online Edition), and Banking Information Index. Disclaimer The Publisher, Morgan Stanley, its affiliates, and the Editorcannot be held responsible for errors or any consequences arising fromt...

where the polynomial matrices Ni(s) and D(s) form a normal external description (NED) of (C, A H ) ; see [11]. The matrices N(s) := CNx(s) and D(s) then form, not necessarily coprime, a matrix fraction description (MFD) of (C,A,B). Recall that Ni(s) and D(s) are right coprime with D(s) being column reduced. The column degrees, Cj := degciD(s), i = 1,2,... ,m, are the controllability indices of ...

In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...

Airway-clearance treatments (ACTs) are an integral part of the physiotherapy treatment regimen for people with cystic fibrosis, along with inhalation therapy and exercise. Autogenic drainage (AD) is an ACT that can be performed without either assistance or equipment, which makes it an attractive option for airway clearance for many people. In clinical practice, AD is often the treatment of choi...

An outbreak of small angiomatous lesions with the same clinical and histological features as Campbell de Morgan spots in adults is described. No infective agent was discovered, but their number was found to increase as the ambient temperature rose.

—In [2], I. B. Turksen looked at the Booleandisjunctive normal form of a term in two variables and the Boolean-conjunctive normal form of that term. He concluded that “for some cases of certain families,” when these forms are interpreted in a De Morgan system by replacing the meet by a t-norm and the join by the dual t-conorm, the disjunctive normal form is contained in the conjunctive normal f...

"Perhaps the most quoted statement in the history of comparative psychology is Lloyd Morgan's canon" (Dewsbury, 1984, p. 187). To this it can be added that perhaps the most misrepresented statement in the history of comparative psychology is Lloyd Morgan's canon. Apparently a version of Morgan's canon was first published in 1892 (Dixon, 1892; Morgan, 1892). However, the most cited version of th...

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...