springer london apr 2009 (4 Ergebnisse)

Buch. Zustand: Neu. Neuware - 'The situation is good, but not hopeless' (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of 'gu- anteed' solutions to the problem notwithstanding. Therefore, the rather awkward phrase 'improving correctness' is to be understood as an effort to minimize the number of residual programming faults ('bugs') and their impact on the software's behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching ) 'How to do it right,' I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Taschenbuch. Zustand: Neu. Neuware - Cancer of the rectum continues to be a significant health problem in industrialized co- tries around the world. Relative 5-year survival rates in the USA for cancer of the rectum from 1995 to 2001 improved to 65%, a 15% improvement over 20 years (American Cancer Society, 2007). The reasons for this dramatic improvement include more accurate pr- perative staging, aggressive neoadjuvant therapy and improved surgical technique as well as specialty-trained surgeons. Despite advances in nonoperative techniques of radiation therapy, chemotherapy and immunotherapy, surgical extirpation continues to be the cornerstone of curative treatment of this potentially lethal disease. Radical cancer excision with total mesorectal excision has become the preferred surgical procedure for even early-stage cancers of the rectum. Over the past decade the enthusiasm for local excision (and other local treatments) has given way to persuasive (predominantly retrospective) evidence that the incidence of locoregional recurrence due to unsuspected lymphatic metastases and positive lateral margins is un- ceptably high even for stage T tumors. Vigorous attempts to find characteristics of the 1 tumor that would allow successful local treatments are ongoing.

Buch. Zustand: Neu. Neuware - Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables us to develop optimal vision algorithms systematically when used with optimization principles. This book presents a comprehensive study on the use of MRFs for solving computer vision problems. Various vision models are presented in a unified framework, including image restoration and reconstruction, edge and region segmentation, texture, stereo and motion, object matching and recognition, and pose estimation. This third edition includes the most recent advances and has new and expanded sections on topics such as: Bayesian Network; Discriminative Random Fields; Strong Random Fields; Spatial-Temporal Models; Learning MRF for Classification. This book is an excellent reference for researchers working in computer vision, image processing, statistical pattern recognition and applications of MRFs. It is also suitable as a text for advanced courses in these areas.

Buch. Zustand: Neu. Neuware - Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, deelopment, deployment, evaluation, and maintenance. In particular, it stresses how the design activity could be better understood for different types of advanced interactive ubiquitous computing, and multi-device environments. This book gathers the latest experience of experts, research teams and leadning organizations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the requirements engineering life cycle of any interactive system:requirements engineering, early-stage design, detailed design, development, deployment, evaluation and maintenance.In particular, it stresses how the design activity could be better understood for different types of advanced interactive systems such as: context-aware systems, multimodal applications, multi-platform systems, pervasive computing, ubiquitous computing, and multi-device environments.