تحسين النتائح
ترتيب حسب
من
الى
الصفحة 28
الصفحة 28
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.
Asphaltenes, heavy oils, and petroleomics
Petroleomics is the prediction of all properties of petroleum based on the Petroleome, or complete listing of all components in a given crude oil. As it is developed, petroleomics will lead petroleum science into a bright new future, and it is the major focus of this book. A necessary step has been to resolve the molecular size and structure of asphaltene and its hierarchical aggregate structures, as well as the dynamics of asphaltenes. This is especially important for heavy oils. Flow assurance concerns and interfacial science are also treated. The technological development of downhole fluid analysis addresses the most important issues in deepwater production of oil.
Aspects of physical biology : Biological water, protein solutions, transport and replication
The present volume focuses on three main subtopics (biological water, protein solutions as well as transport and replication), presenting for each of the them the on-going debates on recent results. The role of water in biological processes, the mechanisms of protein folding, the phases and cooperative effects in biological solutions, the thermodynamic description of replication, transport and neural activity, all are subjects that are revised in this volume, based on new experiments and new theoretical interpretations.
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 Market Experiments with the U-Mart System
Economics went through great development in the 20th century. This development, which was based mainly on mathematical methods, is not an appropriate method of analyzing markets that change every hour and every day. In a stock market, prices constantly change depending on speculation. U-Mart, a manmade market, has been proposed in order to study such instantly moving markets. Although the U-Mart system is internationally acclaimed for being at the forefront of market research, its use is by no means limited to a small number of researchers on the fringe. The whole system, including its source code, is open and is distributed without charge, testifying to a philosophy of creating and providing a common testbed for research into financial markets.
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.
Artificial intelligence in recognition and classification of astrophysical and medical images
This book presents innovative techniques in Recognition and Classification of Astrophysical and Medical Images. The contents include: Introduction to pattern recognition and classification in astrophysical and medical images. Image standardization and enhancement. Region-based methods for pattern recognition in medical and astrophysical images. Advanced information processing using statistical methods. Feature recognition and classification using spectral method
Argumentation Methods for Artificial Intelligence in Law
In this book, Walton presents his perspective on argumentation methods for artificial intelligence and law. … the different tools are combined in a way that makes them potentially useful for understanding legal reasoning. … this book offers a valuable perspective on the current state and future research directions of argumentation methods for artificial intelligence and law." (Jelle van Veenen, Artificial Intelligence and Law,
Argumentation in Science Education : Perspectives from Classroom-Based Research
This book brings together the work of leading experts in argumentation in science education. It presents research combining theoretical and empirical perspectives relevant for secondary science classrooms. Since the 1990s, argumentation studies have increased at a rapid pace, from stray papers to a wealth of research exploring ever more sophisticated issues. This volume constitutes a unique collection and covers fundamental issues in argumentation such as cognitive, methodological and epistemological aspects; classroom-based research in teaching and learning of argumentation in science classrooms; and argumentation in context such as in socio-scientific and moral contexts. The book’s underlying premise is that argumentation is a significant aspect of scientific inquiry and plays an important role in teaching and learning of science.
Arabic Computational Morphology : Knowledge-based and Empirical Methods
The morphology of Arabic poses special challenges to computational natural language processing systems. The exceptional degree of ambiguity in the writing system, the rich morphology, and the highly complex word formation process of roots and patterns all contribute to making computational approaches to Arabic very challenging. Indeed many computational linguists across the world have taken up this challenge over time, and many of the researchers with a track record in this research area have contributed to this book.
Arabian Deserts : Nature, origin and evolution
This is the first comprehensive survey of all the deserts of Arabia, based largely on the author's 50 years of experience there. The text deals with every kind of desert in the region, from vast sand seas to clay pans and stony plains to volcanic flows.
Applying reflective equilibrium : Towards the justification of a precautionary principle
This book provides the first explicit case study for an application of the method of reflective equilibrium (RE), using it to develop and defend a precautionary principle. It thereby makes an important and original contribution to questions of philosophical method and methodology. The book shows step-by-step how RE is applied, and develops a methodological framework which will be useful for everyone who wishes to use reflective equilibrium. With respect to precautionary principles, the book demonstrates how a rights-based precautionary principle can be constructed and defended.
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 Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied Linguistics and Language Teacher Education
Applied Linguistics and Language Teacher Education is aimed at applied linguists who are interested in understanding more about the learning of novice teachers in their classes. The 21 studies in this volume provide information on the complexity of novice teachers’ learning and use of knowledge in a variety of applied linguistics classes such as SLA, Syntax, Pragmatics, Sociolinguistics, Phonetics and Phonology, L2 Reading and Writing, Testing, and Content Based Instruction. These studies were conducted in a variety of contexts, from North and South America to Europe, Asia and Australia, and look at the preparation of teachers of English, Spanish and Chinese.
Applied Graph Theory in Computer Vision and Pattern Recognition
It presents the application of graph theory to low-level processing of digital images, presents graph-theoretic learning algorithms for high-level computer vision and pattern recognition applications, and provides detailed descriptions of several applications of graph-based methods to real-world pattern recognition tasks.
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.
Anthracycline Chemistry and Biology I : Biological Occurence and Biosynthesis, Synthesis and Chemistry
"This book … covers many different aspects of the origin, chemistry, and biosynthesis of one of the oldest but most important classes of anticancer agents. … In summary, the book is nicely produced, very well edited, and should serve as a valuable source of information … . This book will serve as an inspiration for scientists and students in the areas of chemistry, drug discovery, and biological evaluation. It should be an essential addition to institutional library collections … ."
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.
