— This constribution considers nonlinear space-time equalisation (STE) designed for single-input multiple-output (SIMO) systems. By exploiting the inherent symmetry of the underl...
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
The scheduling of social golfers has attracted significant attention in recent years because of its highly symmetrical and combinatorial nature. In particular, it has become one o...
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...
We address three crucial issues encountered in DT-MRI (Diffusion Tensor Magnetic Resonance Imaging) : diffusion tensor Estimation, Regularization and fiber bundle Visualization. ...