Home | Amazing | Today | Tags | Publishers | Years | Search 
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
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
...
Computed Tomography of the Lung: A Pattern Approach (Medical Radiology / Diagnostic Imaging)
Computed Tomography of the Lung: A Pattern Approach (Medical Radiology / Diagnostic Imaging)
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...
Programmed Cell Death in Cancer Progression and Therapy (Advances in Experimental Medicine and Biology)
Programmed Cell Death in Cancer Progression and Therapy (Advances in Experimental Medicine and Biology)

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....

mm-Wave Silicon Technology: 60 GHz and Beyond (Integrated Circuits and Systems)
mm-Wave Silicon Technology: 60 GHz and Beyond (Integrated Circuits and Systems)

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...

The Finite Element Method: Theory, Implementation, and Applications (Texts in Computational Science and Engineering)
The Finite Element Method: Theory, Implementation, and Applications (Texts in Computational Science and Engineering)

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...

Chance Discoveries in Real World Decision Making: Data-based Interaction of Human intelligence and Artificial Intelligence (Studies in Computational Intelligence)
Chance Discoveries in Real World Decision Making: Data-based Interaction of Human intelligence and Artificial Intelligence (Studies in Computational Intelligence)

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...

Extreme Programming and Agile Methods - XP/Agile Universe 2004: 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August
Extreme Programming and Agile Methods - XP/Agile Universe 2004: 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August
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...
Digital Signal Processing for Medical Imaging Using Matlab
Digital Signal Processing for Medical Imaging Using Matlab

This book describes medical imaging systems, such as X-ray, Computed tomography, MRI, etc. from the point of view of digital signal processing. Readers will see techniques applied to medical imaging such as Radon transformation, image reconstruction, image rendering, image enhancement and restoration, and more.

This book also...

Applied Computer Science
Applied Computer Science

Applied Computer Science presents a unique approach for introductory courses that will engage students with relevant topics from a variety of disciplines, encourage their natural creativity, and prepare them for independent projects. Lab assignments are accessible and carefully sequenced for maximum impact. Students are able to write their...

Pattern Recognition and Classification: An Introduction
Pattern Recognition and Classification: An Introduction

The use of pattern recognition and classification is fundamental to many of the automated electronic systems in use today. However, despite the existence of a number of notable books in the field, the subject remains very challenging, especially for the beginner.

Pattern Recognition and Classification presents a comprehensive
...

Machine Vision Handbook
Machine Vision Handbook

The automation of visual inspection is becoming more and more important in modern industry as a consistent, reliable means of judging the quality of raw materials and manufactured goods . The Machine Vision Handbook  equips the reader with the practical details required to engineer integrated mechanical-optical-electronic-software...

An Introduction to PHP for Scientists and Engineers: Beyond JavaScript
An Introduction to PHP for Scientists and Engineers: Beyond JavaScript

This book provides an introduction to PHP and server-side programming. It presents readers with a science or engineering background with the information to write their own online applications requiring reading, creating and manipulating data files stored as text on a server, overcoming the limitations of a client-side language.

It...

Result Page: 422 421 420 419 418 417 416 415 414 413 412 411 410 409 408 407 406 405 404 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy