Sciweavers

5510 search results - page 309 / 1102
» Mathematics
Sort
View
JCT
2008
57views more  JCT 2008»
15 years 6 months ago
Partially directed paths in a wedge
The enumeration of lattice paths in wedges poses unique mathematical challenges. These models are not translationally invariant, and the absence of this symmetry complicates both ...
E. J. Janse van Rensburg, T. Prellberg, A. Rechnit...
ITA
2006
100views Communications» more  ITA 2006»
15 years 6 months ago
Sequences of low arithmetical complexity
Arithmetical complexity of a sequence is the number of words of length n that can be extracted from it according to arithmetic progressions. We study uniformly recurrent words of l...
Sergey V. Avgustinovich, Julien Cassaigne, Anna E....
JAPLL
2006
79views more  JAPLL 2006»
15 years 6 months ago
Innovations in computational type theory using Nuprl
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
Stuart F. Allen, Mark Bickford, Robert L. Constabl...
JCM
2006
141views more  JCM 2006»
15 years 6 months ago
CAC and Packet Scheduling Using Token Bucket for IEEE 802.16 Networks
The IEEE 802.16 standard was designed for Wireless Metropolitan Area Network (WMAN). The coverage of this new technology is expanded up to 50 km. IEEE 802.16 also has inherent QoS ...
Tzu-Chieh Tsai, Chi-Hong Jiang, Chuang-Yin Wang
JUCS
2006
93views more  JUCS 2006»
15 years 6 months ago
Synthesis of Optimal Workflow Structure
: Optimal synthesis of workflow structures, the formerly undefined problem, has been introduced. Mathematical programming model is presented for determining the cost optimal workfl...
József Tick, Zoltán Kovacs, Ferenc F...