This is a comprehensive handbook on all aspects of adverse effects by drugs, chemical substances and radiation on the kidneys. The book consists of a general part dealing with themes such as clinical relevance, renal handling and cellular mechanisms of nephrotoxicity, as well as animal and cell culture models. The second part includes the...
It was 1999 when Extreme Programming Explained was first published, making this
year’s event arguably the fifth anniversary of the birth of the XP/Agile movement in
software development. Our fourth conference reflected the evolution and the learning
that have occurred in these exciting five years as agile practices have become...
For this book, the editors invited contributions from indispensable research areas relevant to "chance discovery", which has been defined as the discovery of events significant for making a decision, and studied since 2000. The chapters contain contributions to identifying rare or hidden events and explaining their significance. The...
This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational...
This book compiles and presents the research results from the past five years in mm-wave Silicon circuits. This area has received a great deal of interest from the research community including several university and research groups. The book covers device modeling, circuit building blocks, phased array systems, and antennas and packaging. It...
Programmed cell death (PCD) plays pivotal roles in tumor progression, cancer therapeutics and resistance of tumor cells to therapy. With the discovery of key mechanisms that are involved in mediating PCD and in promoting resistance to therapy, design of therapeutic approaches for promoting tumor-selective cell death has risen dramatically....
Computed tomography is generally considered to be the best imaging modality for the
assessment of the lung parenchyma. High resolution computed tomography (HRCT)
is able to provide very high morphological detail of the normal and abnormal lung
parenchyma and has been widely accepted as the imaging gold standard for the lung...
This volume contains the papers presented at SBMF 2012: the 15th Brazilian
Symposium on Formal Methods. The conference was held in the city of Natal,
Brazil, colocated with CBSoft 2012, the Third Brazilian Conference on Software:
Theory and Practice.
The conference program included two invited talks, given by John...
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time,...
This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented...
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, held in St. Petersburg, Russia in September 2010. The 16 revised full papers and 6 revised short papers presented together with 5 invited papers were carefully...
This work proposes a complete sensor-independent visual system that provides robust target motion detection. First, the way sensors obtain images, in terms of resolution distribution and pixel neighbourhood, is studied. This allows a spatial analysis of motion to be carried out. Then, a novel background maintenance approach for robust target...
