تحسين النتائح
ترتيب حسب
من
الى
الصفحة 7
الصفحة 7
Atmospheric and Oceanic
This volume contains many original findings on mesoscale processes in atmospheric and oceanic systems through mathematical modeling, numerical simulations and field experiments. These scientific papers examine and provide the latest developments on a range of topics that include tropical cyclones/hurricanes, mesoscale variability and modeling, seasonal monsoons and land surface processes including atmospheric boundary layer. This volume will be useful as a reading material in graduate level courses dealing with mesoscale systems, weather, climate, monsoon variability and boundary layer.
Astrophysical disks : Collective and stochastic phenomena
The book deals with collective and stochastic processes in astrophysical discs involving theory, observations, and the results of modelling. Among others, it examines the spiral-vortex structure in galactic and accretion disks , stochastic and ordered structures in the developed turbulence. It also describes sources of turbulence in the accretion disks, internal structure of disk in the vicinity of a black hole, numerical modelling of Be envelopes in binaries, gaseous disks in spiral galaxies with shock waves formation, observation of accretion disks in a binary system and mass distribution of luminous matter in disk galaxies.
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.
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.
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 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 Fuzzy Arithmetic : An Introduction with Engineering Applications
Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers. The first part of the book gives an introduction to the theory of fuzzy arithmetic, which aims to present the subject in a well-organized and comprehensible form. The derivation of fuzzy arithmetic from the original fuzzy set theory and its evolution towards a successful implementation is presented with existing formulations of fuzzy arithmetic included and integrated in the overall context. The second part of the book presents a diversified exposition of the application of fuzzy arithmetic, addressing different areas of the engineering sciences, such as mechanical, geotechnical, biomedical, and control 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
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.
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.
Analysis, Modeling and Simulation of Multiscale Problems
This book reports recent mathematical developments in the Programme "Analysis, Modeling and Simulation of Multiscale Problems", which started as a German research initiative in 2006. Multiscale problems occur in many fields of science, such as microstructures in materials, sharp-interface models, many-particle systems and motions on different spatial and temporal scales in quantum mechanics or in molecular dynamics. The book presents current mathematical foundations of modeling, and proposes efficient numerical treatment.
Analysis and Simulation of Fluid Dynamics
This volume collects the contributions of a Conference held in June 2005, at the laboratoire Paul Painlev́ e (UMR CNRS 8524) in Lille, France. The meeting was intended to review hot topics and future trends in ?uid dynamics.
Analysis and Simulation of Contact Problems
Contact mechanics was and is an important branch in mechanics which covers a broad field of theoretical, numerical and experimental investigations. In this carefully edited book the reader will obtain a state-of-the-art overview on formulation, mathematical analysis and numerical solution procedures of contact problems. The contributions collected in this volume summarize the lectures presented during the 4th Contact Mechanics International Symposium (CMIS) held in Hannover, Germany, 2005, by leading scientists in the area of contact mechanics.
Analog integrated circuits for communication : principles, simulation and design
This book covers the analysis and design of nonlinear analog integrated circuits that form the basis of present-day communication systems. Both bipolar and MOS transistor circuits are analyzed and several numerical examples are used to illustrate the analysis and design techniques developed in this book.
Analog Design Centering and Sizing
This book represents a compendium of fundamental problem formulations of analog design centering and sizing. It provides a differentiated knowledge about the tasks of analog design centering and sizing. In particular the worst-case problem will be formulated. It stands at the interface between process technology and design technology.Analog Design Centering and Sizing wants to point out that and how both process and design technology are required for its solution. The intention is to enable analog and mixed-signal designers to assess CAD solution methods that are presented to them. On the other side, the intention is to enable developers of analog CAD tools to formulate and develop solution approaches for analog design centering and sizing.The structure of Analog Design Centering and Sizing is geared towards a combination of a reference book and a textbook. The formulations of tasks and solution approaches by mathematical means makes the book suitable as well for students dealing with analog design and design methodology.
Analog Circuit Design : RF Circuits : Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
Analog Circuit Design contains the contribution of 18 tutorials of the 14th workshop on Advances in Analog Circuit Design. Each part discusses a specific todate topic on new and valuable design ideas in the area of analog circuit design. Each part is presented by six experts in that field and state of the art information is shared and overviewed. This book is number 14 in this successful series of Analog Circuit Design, providing valuable information and excellent overviews of analog circuit design, CAD and RF systems.
An Introduction to Sequential Dynamical Systems
This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.
An Introduction to Meshfree Methods and Their Programming
This book aims to present meshfree methods in a friendly and straightforward manner, so that beginners can very easily understand, comprehend, program, implement, apply and extend these methods. It provides first the fundamentals of numerical analysis that are particularly important to meshfree methods. Typical meshfree methods, such as EFG, RPIM, MLPG, LRPIM, MWS and collocation methods are then introduced systematically detailing the formulation, numerical implementation and programming. Many well-tested computer source codes developed by the authors are attached with useful descriptions. The application of the codes can be readily performed using the examples with input and output files given in table form. These codes consist of most of the basic meshfree techniques, and can be easily extended to other variations of more complex procedures of meshfree methods. Readers can easily practice with the codes provided to effective learn and comprehend the basics of meshfree methods.
Algorithms for Approximation ; Proceedings of the 5th International Conference, Chester, July 2005
Approximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers from world experts in a broad variety of relevant applications.
