1532 search results - page 167 / 307 » Connection Relations in Mereotopology |
80
Voted
AUTOMATICA
2004
15 years 18 days ago
2004
: Reset controllers are linear controllers that reset some of their states to zero when their input is zero. We are interested in their feedback connection with linear plants, and ...
107
click to vote
COMBINATORICS
2000
15 years 17 days ago
2000
We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data aris...
122
click to vote
IJAC
2000
15 years 16 days ago
2000
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
104
Voted
ENTCS
2002
15 years 16 days ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
102
click to vote
JCSS
2000
15 years 16 days ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...