تحسين النتائح
ترتيب حسب
من
الى
الصفحة 14
الصفحة 14
Assertion-Based Design
Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
Aspects of mathematical modelling : Applications in science, medicine, economics and management
The construction of mathematical models is an essential scientific activity. Mathematics has long been associated with developments in the exact sciences and engineering, but more recently mathematical modelling has been used to investigate complex systems that arise in many other fields. The contributors to this book demonstrate the application of mathematics to modern research topics in ecology and environmental science, health and medicine, phylogenetics and neural networks, theoretical chemistry, economics and management. The reader will find some review papers outlining current research directions in hot topics such as pattern formation and applications to medicine, and more targeted research papers on current developments in the various disciplines included.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial neural networks in Vehicular Pollution Modelling
Artificial neural networks (ANNs), which are parallel computational models, comprising of interconnected adaptive processing units (neurons) have the capability to predict accurately the dispersive behavior of vehicular pollutants under complex environmental conditions. This book aims at describing step-by-step procedure for formulation and development of ANN based VP models considering meteorological and traffic parameters. The model predictions are compared with existing line source deterministic/statistical based models to establish the efficacy of the ANN technique in explaining frequent dispersion complexities in urban areas. The book is very useful for hardcore professionals and researchers working in problems associated with urban air pollution management and control.
Artificial Mind System : Kernel Memory Approach
This book is written from an engineer's perspective of the mind. "Artificial Mind System" exposes the reader to a broad spectrum of interesting areas in general brain science and mind-oriented studies. In this research monograph a picture of the holistic model of an artificial mind system and its behaviour is drawn, as concretely as possible, within a unified context, which could eventually lead to practical realisation in terms of hardware or software. With a view that "the mind is a system always evolving", ideas inspired by many branches of studies related to brain science are integrated within the text, i.e. artificial intelligence, cognitive science / psychology, connectionism, consciousness studies, general neuroscience, linguistics, pattern recognition / data clustering, robotics, and signal processing.
Artificial intelligence techniques for computer graphics
This volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an introduction presenting the area of Intelligent Computer Graphics and various Computer Graphics areas where introduction of intelligent techniques permitted to resolve important problems.
Applying fuzzy mathematics to formal models in comparative politics
This book explores the intersection of fuzzy mathematics and the spatial modeling of preferences in political science. This book develops single- and multidimensional models of fuzzy preference landscapes and characterizes the surprisingly high levels of stability that emerge from interactions between players operating.
Applied Semi-Markov Processes
The book presents homogeneous and non-homogeneous semi-Markov processes, as well as Markov and semi-Markov rewards processes. These concepts are fundamental for many applications, but they are not as thoroughly presented in other books on the subject as they are here.This book is intended for graduate students and researchers in mathematics, operations research and engineering; it might also appeal to actuaries and financial managers, and anyone interested in its applications for banks, mechanical industries for reliability aspects, and insurance companies.
Applied scanning probe methodsVII : Biomimetics and industrial applications
The present volumes cover three main areas: novel probes and techniques (Vol. V), charactarization (Vol. VI), and biomimetics and industrial applications (Vol. VII). Volume V includes an overview of probe and sensor technologies including integrated cantilever concepts, electrostatic microscanners, low-noise methods and improved dynamic force microscopy techniques, high-resonance dynamic force - croscopy and the torsional resonance method, modelling of tip cantilever systems, scanning probe methods, approaches for elasticity and adhesion measurements on the nanometer scale as well as optical applications of scanning probe techniques based on near?eld Raman spectroscopy and imaging.
Applied scanning probe methods X : Biomimetics and industrial applications
The success of the Springer Series Applied Scanning Probe Methods I–VII and the rapidly expanding activities in scanning probe development and applications worldwide made it a natural step to collect further speci c results in the elds of development of scanning probe microscopy techniques (Vol. VIII), characterization (Vol. IX), and biomimetics and industrial applications (Vol. X). These three volumes complement the previous set of volumes under the subject topics and give insight into the recent work of leading specialists in their respective elds. Following the tradition of the series, the chapters are arranged around techniques, characterization and biomimetics and industrial applications. Volume VIII focuses on novel scanning probe techniques and the understanding of tip/sample interactions. Topics include near eld imaging, advanced AFM, specialized scanning probe methods in life sciences including new self sensing cantilever systems, combinations of AFM sensors and scanning electron and ion microscopes, calibration methods, frequency modulation AFM for application in liquids, Kelvin probe force microscopy, scanning capacitance microscopy, and the measurement of electrical transport properties at the nanometer scale.
Applied scanning probe methods V : Scanning probe microscopy techniques
The scanning probe microscopy ?eld has been rapidly expanding. It is a demanding task to collect a timely overview of this ?eld with an emphasis on technical dev- opments and industrial applications. It became evident while editing Vols. I–IV that a large number of technical and applicational aspects are present and rapidly - veloping worldwide. Considering the success of Vols. I–IV and the fact that further colleagues from leading laboratories were ready to contribute their latest achie- ments, we decided to expand the series with articles touching ?elds not covered in the previous volumes. The response and support of our colleagues were excellent, making it possible to edit another three volumes of the series.
Applied Quantitative Finance
Applied Quantitative Finance (2nd edition) provides a comprehensive and state-of-the-art treatment of cutting-edge topics and methods. It provides solutions to and presents theoretical developments in many practical problems such as risk management, pricing of credit derivatives, quantification of volatility and copula modelling. The synthesis of theory and practice supported by computational tools is reflected in the selection of topics as well as in a finely tuned balance of scientific contributions on practical implementation and theoretical concepts. This linkage between theory and practice offers theoreticians insights into considerations of applicability and, vice versa, provides practitioners comfortable access to new techniques in quantitative finance.
Applied Partial Differential Equations : A Visual Approach
This book presents selected topics in science and engineering from an applied-mathematics point of view. The described natural, socioeconomic, and engineering phenomena are modeled by partial differential equations that relate state variables.
Applied High-Speed Plate Penetration Dynamics
High-speed impact dynamics is of interest in the fundamental sciences, e.g., astrophysics and space sciences, and has a number of important applications in military technologies, homeland security and engineering.
Applied computational materials modeling : Theory, simulation and experiment
this book provides the average person working in the materials field with a more balanced perspective of the role that computational modeling can play in every day research and development efforts. This is done by presenting a series of examples of the successful application of various computational modeling procedures (everything from first principles to quantum approximate to CALPHAD methods) to real life surface and bulk alloy problems.This book should have a large appeal in the materials community, both for experimentalists who would greatly benefit from adding computational methods to their everyday research regimes, as well as for those scientists/engineers familiar with a particular computational method who would like to add complementary techniques to their arsenal of research and development tools
Applicazioni ed esercizi di modellistica numerica per problemi differenziali = Applications and exercises in numerical modeling for differential problems
Contains a collection of exercises related to typical topics in a course on analytical and numerical methods offered in a degree program in Engineering or Mathematics. Starting with exercises in functional analysis and approximation theory, the text develops problems related to the numerical resolution of elliptic, parabolic, and hyperbolic partial differential equations, scalar or vector, in one or more spatial dimensions. Pure diffusion and pure convection problems are therefore addressed, alongside diffusion-transport problems and problems in compressible and incompressible fluid dynamics. Particular emphasis is given to the finite element method for the spatial discretization of the problems considered, although exercises on the finite difference and finite volume methods are also included.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Application of the Finite Element Method in Implant Dentistry
Part of the new series, Advanced Topics in Science and Technology in China, this book is designed to give the necessary theoretical foundation to new users of the finite element method in implant dentistry, and show how both the implant dentist and designer can benefit from finite element analysis.
Antifouling Paint Biocides
This volume describes the state-of-the-art advances regarding antifouling paint biocides and provides thorough evaluation of research and information on major topics such as occurrence and levels, environmental fate, analytical techniques and methods for the monitoring and control, environmental modeling, ecotoxicological effects and risk assessment placing emphasis on the knowledge acquired over the last 10 years. The contamination of the aquatic environment by antifouling compounds has been a topic of increasing importance during the last few years. The major classes of antifouling active biocides are discussed including the old-fashioned organotin compounds, the modern organic booster biocides and the promising naturally occurring antifoulant products. Therefore, the reader will get a balanced view of this developing field. Chapters were written by leading experts in their field who critically surveyed all the major areas of progress. This volume is an important resource and can constitute a good grounding in the field of antifouling paint biocides.
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS requirements. The development process of ANEMONA provides clear and HMS-specific modeling guidelines for HMS designers, and complete development phases for the HMS life cycle.
