Jun 17, 2011 |
3,320 views |
Book Description
Computer-assisted imaging with radiation (x- and gamma rays) is an integral part of modern medical-diagnostic practice. This imaging technology is also slowly finding its way into industrial applications. Although the technology is well developed, there is a need for further improvement to enhance image quality, reduce artifacts, minimize patient radiation exposure, compete with and complement other imaging methods (such as magnetic resonance imaging and ultrasonics), and accommodate dense and large objects encountered in industrial applications.
Scientists and engineers, attempting to progress this technology, are faced with an enormous amount of literature, addressing the imaging problem from various view points. This book provides a single source that addresses both the physical and mathematical aspects of the imaging problem in a consistent and comprehensive manner.
- Discusses the inherent physical and numerical capabilities and limitations of the methods presented for both the forward and inverse problems
- Provides information on available Internet resources and software
- Written in a manner that makes it readable by physicists, mathematicians, engineers and computer scientists – avoids, as much as possible, the use of specialized terminology without clear introduction and definition
Download Now »
Jun 02, 2011 |
8,670 views |
Book Description
A unique guide to the design and implementation of simulation software
This book offers a concise introduction to the art of building simulation software, collecting the most important concepts and algorithms in one place. Written for both individuals new to the field of modeling and simulation as well as experienced practitioners, this guide explains the design and implementation of simulation software used in the engineering of large systems while presenting the relevant mathematical elements, concept discussions, and code development.
The book approaches the topic from the perspective of Zeigler’s theory of modeling and simulation, introducing the theory’s fundamental concepts and showing how to apply them to engineering problems. Readers will learn five necessary skills for building simulations of complicated systems:
- Working with fundamental abstractions for simulating dynamic systems
- Developing basic simulation algorithms for continuous and discrete event models
- Combining continuous and discrete event simulations into a coherent whole
- Applying strategies for testing a simulation
- Understanding the theoretical foundations of the modeling constructs and simulation algorithms
The central chapters of the book introduce, explain, and demonstrate the elements of the theory that are most important for building simulation tools. Download Now »
May 24, 2011 |
9,381 views |
Book Description
Whether obtained by microscopes, space probes, or the human eye, the same basic tools can be applied to acquire, process, and analyze the data contained in images. Ideal for self study, The Image Processing Handbook, Sixth Edition, first published in 1992, raises the bar once again as the gold-standard reference on this subject. Using extensive new illustrations and diagrams, it offers a logically organized exploration of the important relationship between two-dimensional images and the three-dimensional structures they reveal.
Provides Hundreds of Visual Examples in FULL COLOR!
The author focuses on helping readers visualize and compare processing and measurement operations and how they are typically combined in fields ranging from microscopy and astronomy to real-world scientific, industrial, and forensic applications. Presenting methods in the order in which they would be applied in a typical workflow—from acquisition to interpretation—this book compares a wide range of algorithms used to:
- Improve the appearance, printing, and transmission of an image
- Prepare images for measurement of the features and structures they reveal
- Isolate objects and structures, and measure their size, shape, color, and position
- Correct defects and deal with limitations in images
- Enhance visual content and interpretation of details Download Now »
May 18, 2011 |
6,811 views |
Book Description
Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured data. Since many new and advanced web applications consume a huge amount of such data, there is a growing need to properly design efficient databases.
This volume responds to that need by describing a semantically rich data model for semistructured data, called Object-Relationship-Attribute model for Semistructured data (ORA-SS). Focusing on this new model, the book discuss problems and present solutions for a number of topics, including schema extraction, the design of non-redundant storage organizations for semistructured data, and physical semsitructured database design, among others.
Semistructured Database Design, presents researchers and professionals with the most complete and up-to-date research in this fast-growing field.
“This book covers schema extraction from an Extensible Markup Language (XML) data instance, algorithmic normalization of that schema … and the discussion of relaxing the normalization to effect more efficient retrievals. … Database designers and students are obvious targets for this book … . The book is easy to read, and provides an approach to a very practical contemporary problem. The authors have organized their material for easy reading.”
–E.A. Unger, Computing Reviews, April, 2005
Download Now »
May 10, 2011 |
5,274 views |
Book Description
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
Table of Contents
A Calculus for Hybrid CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Foundations of Quantum Programming (Extended Abstract) . . . . . . . . . . 16
From a Verified Kernel towards Verifed Systems . . . . . . . . . . . . . . . . . . . . . 21
Reasoning about Computations Using Two-Levels of Logic . . . . . . . . . . . . 34
Session 1
Typechecking Higher-Order Security Libraries . . . . . . . . . . . . . . . . . . . . . . . 47
Towards Deriving Type Systems and Implementations for Coroutines . . . 63
Liberal Typing for Functional Logic Programs . . . . . . . . . . . . . . . . . . . . . . . 80 Download Now »
May 07, 2011 |
10,294 views |
Book Description
Evolutionary algorithms are becoming increasingly attractive across various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science and economics. Introduction to Evolutionary Algorithms presents an insightful, comprehensive, and up-to-date treatment of evolutionary algorithms. It covers such hot topics as: • genetic algorithms, • differential evolution, • swarm intelligence, and • artificial immune systems.
The reader is introduced to a range of applications, as Introduction to Evolutionary Algorithms demonstrates how to model real world problems, how to encode and decode individuals, and how to design effective search operators according to the chromosome structures with examples of constraint optimization, multiobjective optimization, combinatorial optimization, and supervised/unsupervised learning. This emphasis on practical applications will benefit all students, whether they choose to continue their academic career or to enter a particular industry. Introduction to Evolutionary Algorithms is intended as a textbook or self-study material for both advanced undergraduates and graduate students. Additional features such as recommended further reading and ideas for research projects combine to form an accessible and interesting pedagogical approach to this widely used discipline.
About the Author
Xinjie Yu is an associate professor of the department of electrical engineering at Tsinghua University. He received his PhD in Electrical Engineering from Tsinghua University in 2001. Download Now »
