Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set...
Collision-Based Computing presents a unique overview of computation with mobile self-localized patterns in non-linear media, including computation in optical media, mathematical models of massively parallel computers, and molecular systems.
It covers such diverse subjects as conservative computation in billiard ball models...
Currently, spatial analysis is becoming more important than ever because enormous volumes of spatial data are available from different sources, such as GPS, Remote Sensing, and others.
This book deals with spatial analysis and modelling. It provides a comprehensive discussion of spatial analysis, methods, and approaches related to...
Students entering higher education expect their studies to lead them towards some specific form of professional career. But in this age, complex internationalized professions are the main source of work for graduates, so students need to prepare themselves for a future that can be volatile, changeable and challenging. This book shows how...
This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2011. In the last decade, we have seen agile and lean software development strongly influence the way software is developed. Agile and lean software development has moved from being a way...
Investment and risk management problems are fundamental problems for financial institutions and involve both speculative and hedging decisions. A structured approach to these problems naturally leads one to the field of applied mathematics in order to translate subjective probability beliefs and attitudes towards risk and reward into...
Evidenced by the success of Facebook, Twitter, and LinkedIn, online social networks (OSNs) have become ubiquitous, offering novel ways for people to access information and communicate with each other. As the increasing popularity of social networking is undeniable, scalability is an important issue for any OSN that wants to serve a large...
This book provides insight into the practical design of V.L.S.I. circuits. It is aimed at novice V.L.S.I. designers and other enthusiasts who would like to understand V.L.S.I. design flows. Coverage includes key concepts in C.M.O.S. digital design, design of D.S.P. and communication blocks on F.P.G.A.s, A.S.I.C. front end and physical design,...
This book examines distributed video coding (DVC) and multiple description coding (MDC), two novel techniques designed to address the problems of conventional image and video compression coding. Covering all fundamental concepts and core technologies, the chapters can also be read as independent and self-sufficient, describing each...
This book is an introduction to the fundamental concepts and tools needed for solving problems of a geometric nature using a computer. It attempts to fill the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics, computer vision, robotics, or machine learning.
Tissue engineering is the first discipline of bioengineering which explicitly integrates molecular biology with physics and chemistry. It emphasizes research in the synthesis of new tissues and organs in vivo and in vitro. The treatment is uniform and deliberately directed toward the different backgrounds of students from the physical and...
This book presents a concept of hepatic segmentation with respect to the Glissonean pedicle tree. It also outlines surgical procedures for segmentectomy and cone-unit resection. Detailed illustrations depict every important action a surgeon must consider while performing these operations.
