Sciweavers

2465 search results - page 259 / 493
» Automata on Linear Orderings
Sort
View
JAPLL
2006
114views more  JAPLL 2006»
15 years 6 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
EOR
2007
80views more  EOR 2007»
15 years 6 months ago
Coherent risk measures in inventory problems
We analyze an extension of the classical multi-period, single-item, linear cost inventory problem where the objective function is a coherent risk measure. Properties of coherent r...
Shabbir Ahmed, Ulas Çakmak, Alexander Shapi...
JNS
2007
85views more  JNS 2007»
15 years 6 months ago
Long-Time Accuracy for Approximate Slow Manifolds in a Finite-Dimensional Model of Balance
We study the slow singular limit for planar anharmonic oscillatory motion of a charged particle under the influence of a perpendicular magnetic field when the mass of the particl...
G. Gottwald, M. Oliver, N. Tecu
CORR
2004
Springer
94views Education» more  CORR 2004»
15 years 6 months ago
Track Layouts of Graphs
A (k, t)-track layout of a graph G consists of a (proper) vertex t-colouring of G, a total order of each vertex colour class, and a (non-proper) edge k-colouring such that between...
Vida Dujmovic, Attila Pór, David R. Wood
EJC
2000
15 years 6 months ago
Cyclic Polytopes and Oriented Matroids
Consider the moment curve in the real Euclidean space Rd defined parametrically by the map : R Rd , t (t) = (t, t2 , . . . , td ). The cyclic d-polytope Cd(t1, . . . , tn) is t...
Raul Cordovil, Pierre Duchet