Page 8
Page 8
Conceptual Modeling - ER 2006 ; 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research and applications in which the - jor emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of c- cepts and ontologies underlying conceptual modeling, methods and tools for devel- ing and communicating conceptual models, and techniques for transforming conc- tual models into effective implementations.
Computer Vision Beyond the Visible Spectrum
Recently, there has been a dramatic increase in the use of sensors in the non-visible bands. As a result, there is a need for existing computer vision methods and algorithms to be adapted for use with non-visible sensors, or for the development of completely new methods and systems. Computer Vision Beyond the Visible Spectrum is the first book to bring together state-of-the-art work in this area. It presents new & pioneering research across the electromagnetic spectrum in the military, commercial, and medical domains. By providing a detailed examination of each of these areas, it focuses on the development of state-of-the-art algorithms and looks at how they can be used to solve existing & new challenges within computer vision. Essential reading for academics & industrial researchers working in the area of computer vision, image processing, and medical imaging, it will also be useful background reading for advanced undergraduate & postgraduate students.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1, published as LNP 703 (ISBN 3-540-35270-8) is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. The present volume is a state-of-the-art survey on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology, such as supercooled liquids, spin glasses, colloids, polymers, liquid crystals, biological membranes and folding proteins.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.1
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1 is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. Volume 2 published as LNP 704 (ISBN 3-540-35283-X) is a collection of state-of-the-art surveys on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology.
Computer Engineering in Applied Electromagnetism
Computer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic Fields in Electrical Engineering, held in Maribor, Slovenia, 18-20 September 2003. It consists of three parts, Computational Techniques, Electromagnetic Engineering, and Special Applications. The contributions selected for the book cover a wide spectrum of theory and practice, being simultaneously of high theoretical level and deeply rooted in engineering problems. Thus, this volume touches on what is of key importance in electromagnetism.
Computer Aided Verification ; Vol. 3576 ; 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Verification ; 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by computer graphics. It is written in a logical and thorough manner for use mainly by senior and graduate level students as well as users and developers of CAD software. The book covers (a) The fundamental concepts of geometric modeling so that a real understanding of designing synthetic surfaces and solid modeling can be achieved. (b) A wide spectrum of CAED topics such as CAD of linkages and machine elements, finite element analysis, optimization. (c) Application of these methods to real world problems.
Computational intelligence : Research Frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures
The book presents the expertise and experiences of leading researchers spanning a diverse spectrum of computational intelligence in the areas of neurocomputing, fuzzy systems, evolutionary computation, and adjacent areas.
Combined Scintigraphic and Radiographic Diagnosis of Bone and Joint Diseases
In addition to the bone and joint diseases described in the two earlier editions, this book encompasses novel applications of pinhole scanning to the diagnosis of a broader spectrum of skeletal disorders. It has been considerably expanded to discuss five new themes and is complemented by the addition of some 90 recently acquired cases
Combinatorial Commutative Algebra
Combinatorial commutative algebra is an active area of research with thriving connections to other fields of pure and applied mathematics. This book provides a self-contained introduction to the subject, with an emphasis on combinatorial techniques for multigraded polynomial rings, semigroup algebras, and determinantal rings. The eighteen chapters cover a broad spectrum of topics, ranging from homological invariants of monomial ideals and their polyhedral resolutions, to hands-on tools for studying algebraic varieties with group actions, such as toric varieties, flag varieties, quiver loci, and Hilbert schemes. Over 100 figures, 250 exercises, and pointers to the literature make this book appealing to both graduate students and researchers.
Color Atlas of Congenital Heart Surgery
Color Atlas of Congenital Heart Surgery covers the full spectrum of congenital heart defects, first depicting the pathology in pre-repair photographs and then detailing step-by-step the operative procedure. Dr. Litwin depicts the most common procedures along with the most complex ones, providing a range of information vital to residents and fellows in training as well as clinicians in practice.
Collaborative Product Design and Manufacturing Methodologies and Applications
Collaborative Product Design and Manufacturing Methodologies and Applications is an introduction to a wide spectrum of collaborative engineering issues in design and manufacturing. It contains state-of-the-art chapters written by international experts from academia and industry and reflects the most up-to-date R&D work and applications, especially those from the last three to five years. Collaborative Product Design and Manufacturing Methodologies and Applications is an essential reference for academics, upper-level undergraduate and graduate students and practitioners specialising in collaborative design and manufacturing issues, concurrent engineering, Internet-based/intelligent design and manufacturing, CAD/PDM/CAPP/CAM, Internet applications, product lifecycle management, supply chain, etc.
Cognitive Wireless Communication Networks
this book offers a wide range of information on the subject. Topics covered include the fundamental challenges and issues in designing cognitive radio systems to the information-theoretic analysis of such systems, spectrum sensing and co-existence issues, adaptive physical layer protocols and link adaptation techniques for cognitive radio, orthogonal frequency division multiple access (OFDM) and ultra wide band (UWB)-based cognitive radio, different techniques for spectrum access by distributed cognitive radio, cognitive medium access control (MAC) protocols, decentralized learning-based dynamic spectrum access methods as well as macroeconomic models for spectrum management in cognitive radio.
Cognitive Vision Systems : Sampling the Spectrum of Approaches
This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively discussions that ensued, during a seminar held in Dagstuhl Castle, Germany, in October 2003. Co-sponsored by ECVision, the cognitive vision network of excellence, it was organized to further strengthen cooperation between research groups from different countries, and scientists active in related areas were invited from around the world.
Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems
This book is aimed to discuss the cognitive radio, software defined radio (SDR), and adaptive radio concepts from several aspects. Cognitive radio and cognitive networks will be investigated from a broad aspect of wireless communication system enhancement while giving special emphasis on better spectrum utilization. Applications of cognitive radio, SDR and cognitive radio architectures, spectrum efficiency and soft spectrum usage, adaptive wireless system design, measurements and awareness of various parameters including interference temperature and geo-location information are some of the important topics that will be covered in this book.
Clinical PET and PET
A practical manual covering the full spectrum of PET and PET/CT imaging, now in common clinical practice, this book includes images of normal variants, artifacts, and pathologic conditions. Indications for and the relative clinical value of PET in the armamentarium of diagnostic medical imaging are reviewed. The information in the book is organized to be brief, concise, easy-to-understand and readily accessed.
Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems like space flight, gyroscope motions and tidal currents, can be studied on a laptop, feats that people still in the 1950’s dreamed of accomplishing. The present textbook addresses such problems and moreover, a wide-ranging spectrum of topics from bifurcation theory, optimization and control to rigid-body motion and continuum mechanics of elastic bodies and fluids. It fully encompasses the provision of mathematical tools up to their technical application. Because verifiability is a main element of science and numerical mathematics remain lackluster without demonstrations, a portion of the book is dedicated purely to computations.
Mathematical Control Theory and Finance
This book highlights recent developments in mathematical control theory and its applications to finance. It presents a collection of original contributions by distinguished scholars, addressing a large spectrum of problems and techniques. Control theory provides a large set of theoretical and computational tools with applications in a wide range of fields, ranging from "pure" areas of mathematics up to applied sciences like finance. Stochastic optimal control is a well established and important tool of mathematical finance. Other branches of control theory have found comparatively less applications to financial problems, but the exchange of ideas and methods has intensified in recent years. This volume should contribute to establish bridges between these separate fields. The diversity of topics covered as well as the large array of techniques and ideas brought in to obtain the results make this volume a valuable resource for advanced students and researchers.
Manufacturing Systems : Theory and Practice
The book has six chapters that have been arranged according to the sequence used when creating and operating a manufacturing system. Thus, the subjects emphasised are: the decision framework for manufacturing, the manufacturing processes, the manufacturing equipment and machine tools, the design for manufacturing and the operation of manufacturing systems. The book attempts a compromise between theory and practice in all addressed manufacturing systems issues, covering a long spectrum of issues from traditional manufacturing processes to innovative technologies such as Virtual Reality, Nanotechnology and Rapid Prototyping.
