Sciweavers

906 search results - page 8 / 182
» Chain Dominated Orders
Sort
View
APAL
1999
55views more  APAL 1999»
13 years 7 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
JCT
2010
55views more  JCT 2010»
13 years 5 months ago
The necklace poset is a symmetric chain order
Kelly Kross Jordan
CANDIE
2011
32views more  CANDIE 2011»
12 years 11 months ago
On ordering adjustment policy under rolling forecast in supply chain planning
Li-Ting Huang, I.-Chien Hsieh, Cheng-Kiang Farn
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
14 years 19 days ago
5th order electro-thermal multi-tone Volterra simulator with component-level output
Thispaper describes a method of implementing thermal powerfeedback (TPF) into a 5th order nonlinear distortion analysis with Volterra-series. The main advantages of the Volterra a...
Antti Heiskanen, Timo Rahkonen
AML
1999
135views more  AML 1999»
13 years 7 months ago
Random graphs in the monadic theory of order
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
Shmuel Lifsches, Saharon Shelah