Isomap is one of widely-used low-dimensional embedding methods, where geodesic distances on a weighted graph are incorporated with the classical scaling (metric multidimensional s...
High angular resolution diffusion imaging (HARDI) allows population studies of fiber integrity and connectivity. Tractography can extract individual fibers. For group studies, fib...
Yan Jin, Yonggang Shi, Neda Jahanshad, Iman Aganj,...
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...