Sciweavers

COMBINATORICS
1999
100views more  COMBINATORICS 1999»
14 years 3 days ago
Positivity for special cases of (q, t)-Kostka coefficients and standard tableaux statistics
We present two symmetric function operators Hqt 3 and Hqt 4 that have the property Hqt mH(2a1b)(X; q, t) = H(m2a1b)(X; q, t). These operators are generalizations of the analogous ...
Mike Zabrocki
SIAMCO
2000
99views more  SIAMCO 2000»
14 years 6 days ago
Spectral Analysis of Fokker--Planck and Related Operators Arising From Linear Stochastic Differential Equations
We study spectral properties of certain families of linear second-order differential operators arising from linear stochastic differential equations. We construct a basis in the Hi...
Daniel Liberzon, Roger W. Brockett
MOC
2000
79views more  MOC 2000»
14 years 6 days ago
Computational scales of Sobolev norms with application to preconditioning
Abstract. This paper provides a framework for developing computationally efficient multilevel preconditioners and representations for Sobolev norms. Specifically, given a Hilbert s...
James H. Bramble, Joseph E. Pasciak, Panayot Vassi...
CORR
2002
Springer
87views Education» more  CORR 2002»
14 years 7 days ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
CORR
2004
Springer
97views Education» more  CORR 2004»
14 years 8 days ago
The semijoin algebra and the guarded fragment
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Buss...
TFS
2008
107views more  TFS 2008»
14 years 10 days ago
Towards a General Class of Operators for Fuzzy Systems
Abstract-- Our starting point is the multiplicative utility function which is extensively used in the theory of multicriteria decision making. Its associativity is shown and as its...
József Dombi
JSW
2008
101views more  JSW 2008»
14 years 12 days ago
Graphical Mission Specification and Partitioning for Unmanned Underwater Vehicles
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...
Gary Giger, Mahmut T. Kandemir, John Dzielski
JAIR
2006
117views more  JAIR 2006»
14 years 12 days ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer
IJMMS
2006
82views more  IJMMS 2006»
14 years 12 days ago
Scale transformations and information presentation in supervisory control
For human operators supervising a complex system it is crucial to have a powerful and flexible information presentation system. In order to reduce the cognitive load operators oft...
Johannes Petersen, Michael May
COMPUTING
2007
101views more  COMPUTING 2007»
14 years 12 days ago
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
Alexandre Goldsztejn