تحسين النتائح
ترتيب حسب
من
الى
الصفحة 11
الصفحة 11
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.
Applications of computational intelligence in biology : Current trends and open problems
The purpose of this book is to provide a medium for such an exchange of expertise and concerns. In order to achieve the goal, we have solicited cont- butions from both computational intelligence as well as biology researchers.
Analyzing uncertainty in civil engineering
This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. Attributing them to a residual system risk or a faulty execution of the project does not properly cover the range of causes. A closer scrutiny of the adopted design, the engineering model, the data, the soil-construction-interaction and the model assumptions is required. Usually, the uncertainties in initial and boundary conditions are abundant. Current engineering practice often leaves these issues aside, despite the fact that new scientific tools have been developed in the past decades that allow a rational description of uncertainties of all kinds, from model uncertainty to data uncertainty. It is the aim of this volume to have a critical look at current engineering risk concepts in order to raise awareness of uncertainty in numerical computations, shortcomings of a strictly probabilistic safety concept, geotechnical models of failure mechanisms and their implications for construction management, execution, and the juristic question of responsibility. In addition, a number of the new procedures for modelling uncertainty are explained.
Analysis of phylogenetics and evolution with R
This book integrates a wide variety of data analysis methods into a single and flexible interface: the R language. This open source language is available for a wide range of computer systems and has been adopted as a computational environment by many authors of statistical software. Adopting R as a main tool for phylogenetic analyses will ease the workflow in biologists' data analyses, ensure greater scientific repeatability, and enhance the exchange of ideas and methodological developments.
Analysis of Low-Speed Unsteady Airfoil Flows
This book provides an introduction to unsteady aerodynamics with emphasis on the analysis and computation of inviscid and viscous two-dimensional flows over airfoils at low speeds. It begins with a discussion of the physics of unsteady flows and an explanation of lift and thrust generation, airfoil flutter, gust response and dynamic stall. This is followed by an exposition of the four major calculation methods in currents use, namely inviscid-panel, boundary-layer, viscous-inviscid interaction and Navier-Stokes methods. Undergraduate and graduate students, teachers, scientists and engineers concerned with aeronautical, hydronautical and mechanical engineering problems will gain understanding of the physics of unsteady low-speed flows and an ability to analyze these flows with modern computational methods.
Analysis and Probability : Wavelets, Signals, Fractals
This book, combining analysis and tools from mathematical probability, focuses on a systematic and novel presentation of recent trends in pure and applied mathematics: the emergence of three fields, wavelets, signals and fractals. The unity of basis constructions and their expansions is emphasized as the starting point for the development of bases that are computationally efficient for use in several areas from wavelets to fractals.the book brings together tools from engineering and math, especially from signal- and image processing, and from harmonic analysis and operator theory. The presentation is aimed at graduate students, as well as users from a diverse spectrum of applications.
Analysis and Numerics for Conservation Laws
The physical and chemical mechanisms as well as the sizes of these processes are quite different. So are the motivations for studying them scientifically.The super- 8 nova is a thermo-nuclear explosion on a scale of 10 cm. Astrophysicists try to understand them in order to get insight into fundamental properties of the universe. In hows around airfoils of commercial airliners at the scale of 3 10 cm shock waves occur that influence the stability of the wings as well as fuel consumption in ight. This requires appropriate design of the shape and structure of airfoils by engineers. Knocking occurs in combustion, a chemical 1 process, and must be avoided since it damages motors. The scale is 10 cm and these processes must be optimized for efficiency and environmental conside- tions. The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically the same type of hyperbolic s- tems of partial differential equations in divergence form, called conservation laws. Astrophysicists, engineers and mathematicians share a common interest in scientific progress on theory for these equations and the development of computational methods for solutions of the equations. Due to their wide applicability in modeling of continua. A substantial portion of mathematical research is related to the analysis and numerical approximation of solutions to such equations. Hyperbolic conservation laws in two or more space dimensions still poseone of the main challenges to modern mathematics.
Analysis and Design of Intelligent Systems Using Soft Computing Techniques
This book comprises a selection of papers from IFSA 2007 on new methods for analysis and design of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems for solving problems in pattern recognition, time series prediction, intelligent control, robotics and automation. Hybrid intelligent systems that combine several SC techniques are needed due to the complexity and high dimensionality of real-world problems. Hybrid intelligent systems can have different architectures, which have an impact on the efficiency and accuracy of these systems, for this reason it is very important to optimize architecture design. The architectures can combine, in different ways, neural networks, fuzzy logic and genetic algorithms, to achieve the ultimate goal of pattern recognition, time series prediction, intelligent control, or other application areas.
An Introduction to Scientific Computing : Twelve Computational Projects Solved with MATLAB
This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts.
An introduction to relativistic processes and the standard model of electroweak interactions
The first part of the volume is devoted to the description of scattering processes in the context of relativistic quantum field theory. The use of the semi-classical approximation allows us to illustrate the relevant computation techniques in a reasonably small amount of space. Our approach to relativistic processes is original in many respects. The second part contains a detailed description of the construction of the standard model of electroweak interactions, with special attention to the mechanism of particle mass generation. The extension of the standard model to include neutrino masses is also described. We have included a number of detailed computations of cross sections and decay rates of pedagogical and phenomenological relevance.
An Introduction to Number Theory
An Introduction to Number Theory provides an introduction to the main streams of number theory. Starting with the unique factorization property of the integers, the theme of factorization is revisited several times throughout the book to illustrate how the ideas handed down from Euclid continue to reverberate through the subject. In particular, the book shows how the Fundamental Theorem of Arithmetic, handed down from antiquity, informs much of the teaching of modern number theory. The result is that number theory will be understood, not as a collection of tricks and isolated results, but as a coherent and interconnected theory. A number of different approaches to number theory are presented, and the different streams in the book are brought together in a chapter that describes the class number formula for quadratic fields and the famous conjectures of Birch and Swinnerton-Dyer. The final chapter introduces some of the main ideas behind modern computational number theory and its applications in cryptography.
An Introduction To Chemoinformatics
This, the first text written specifically for this field, aims to provide an introduction to the major techniques of chemoinformatics. The first part of the book deals with the representation of 2D and 3D molecular structures, the calculation of molecular descriptors and the construction of mathematical models. The second part describes other important topics including molecular similarity and diversity, the analysis of large data sets, virtual screening, and library design. Simple illustrative examples are used throughout to illustrate key concepts, supplemented with case studies from the literature.
An Introduction to Bayesian Analysis : Theory and Methods
This book is a contemporary introduction to theory, methods and computation in Bayesian Analysis. It focuses on topics that have stood the test of time and on emerging areas. No other such book is available in the market.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
Algorithms for Fuzzy Clustering : Methods in c-Means Clustering with Applications
The main subject of this book is the fuzzy c-means proposed by Dunn and Bezdek and their variations including recent studies. We emphasize in this book is a family of algorithms using entropy or entropy-regularized methods which are less known, but we consider the entropy-based method to be another useful method of fuzzy c-means.
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.
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.
Advances of Computational Intelligence in Industrial Systems
Advances of Computational Intelligence in Industrial Systems reports the exploration of CI frontiers with an emphasis on a broad spectrum of real-world applications. Section I – Theory and Foundation presents some of the latest developments in CI.
Advances in Web Intelligence and Data Mining
The new Web-related research directions include intelligent methods usually associated with the fields of computational intelligence, soft computing, and data mining. This book presents state-of-the-art developments in the area of computationally intelligent methods applied to various aspects and ways of Web exploration and Web mining. Some novel data mining algorithms that can lead to more effective and intelligent Web-based systems are also described. Scientists, engineers, and research students are expected to find many inspiring ideas in this volume.
