Refine Results
Sort By
From
To
Page 30
Page 30
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.
Assembly Line Design : The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Efficient assembly line design is a problem of considerable industrial importance. Assembly Line Design will be bought by technical personnel working in design, planning and production departments in industry as well as managers in industry who want to learn more about concurrent engineering.
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 Mathematical Finance
Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.
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 neural networks for the Modelling and Fault Diagnosis of Technical Processes
In this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques is the model based one, where an analytical model of the plant to be monitored is assumed to be available.
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.
Arnheim, Gestalt and Art : A Psychological Theory
The book discovers an unappreciated unity to Arnheim’s thinking. Not content to simply summarize Arnheim’s theory, however, Arnheim, Art, and Gestalt goes on to enrich (and occasionally question) Arnheim’s findings with the contemporary results of gestalt-theoretical research from around the world, but especially in Italy and Germany. The result is a workable overview of the psychology of art with bridges built to contemporary research, making Arnheim’s approach living and sustainable.
Arguing on the Toulmin model : New essays in argument analysis and evaluation
In The Uses of Argument Stephen Toulmin proposed a new model for the layout of arguments, with six components: claim, data, warrant, qualifier, rebuttal, backing. Toulmin’s model has been appropriated, adapted and extended by researchers in the fields of speech communications, philosophy and artificial intelligence. The volume aims to bring together the best contemporary reflection in these fields on the Toulmin model and its current appropriation.
Arctic-Subarctic Ocean Fluxes : Defining the Role of the Northern Seas in Climate
The two-way oceanic exchanges that connect the Arctic and Atlantic oceans through subarctic seas are of fundamental importance to climate. Change may certainly be imposed on the Arctic Ocean from subarctic seas, including a changing poleward ocean heat flux that is central to determining the present state and future fate of the perennial sea-ice. And the signal of Arctic change is expected to have its major climatic impact by reaching south through subarctic seas, either side of Greenland, to modulate the Atlantic thermohaline ‘conveyor’. Developing the predictive skills of climate models is seen to be the most direct way of extending the ability of society to mitigate for or adapt to 'global change' and is the main justification for continuing an intense observational effort in these waters. As records have lengthened, they have shown that important aspects of oceanic exchange through subarctic seas are currently at a long-term extreme state, providing further motivation for their study.
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 Rasch Measurement : A Book of Exemplars : Papers in Honour of John P. Keeves
While the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and related purpose is to provide a useful resource. We believe that the combination of the developmental history and theory of the method, the examples of its use in practice, some possible future directions, and software and data files will make this book a valuable resource for teachers and scholars of the Rasch method. This book is a tribute to Professor John P Keeves for the advocacy of the Rasch model in Australia.
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 Pattern Recognition
The main goal of this book is to cover some of the latest application domains of pattern recognition while presenting novel techniques that have been developed or customized in those domains.
