Wyniki wyszukiwania:

Presenting current results on analysis in weight spaces with reflection invariant weight functions, and analysis on balls and simplexes, this book covers distribution of points on the sphere, the reconstruction algorithm in computerized tomography and more.

Edited by some of the most experienced authors in the field, Biomedical Imaging provides comprehensive coverage on medical and biological imaging. Original research and critical reviews on software and hardware technologies for medical and biological imaging tasks are presented in the book, along with data processing in all imaging modalities for molecular, cellular, anatomical and functional imaging.

Research topics include image acquisition, registration, reconstruction, multimodality methods, noise filtering and image enhancement, segmentation, classification...

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included....