تحسين النتائح
ترتيب حسب
من
الى
الصفحة 10
الصفحة 10
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational Intelligence and Knowledge Engineering with strong mathematical foundations. It embraces methods and approaches coming from diverse computational paradigms, such as evolutionary computation and nature-inspired algorithms, logic programming and constraint programming, rule-based systems, fuzzy sets and many others. The use of various knowledge representation formalisms and knowledge processing and computing paradigms is oriented towards the efficient resolution of computationally complex and difficult problems.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Challenges for Computational Intelligence
Computational Intelligence (CI) is used as a name to cover many existing branches of science, with artificial neural networks, fuzzy systems and evolutionary computation forming its core. In recent years CI has been extended by adding many other subdisciplines and it became quite obvious that this new field also requires a series of challenging problems that will give it a sense of direction. Without setting up clear goals and yardsticks to measure progress on the way many research efforts are wasted.The book written by top experts in CI provides such clear directions and the much-needed focus on the most important and challenging research issues, showing a roadmap how to achieve ambitious goals.
Cálculo científico con MATLAB y Octave = Scientific computing with MATLAB and Octave
This textbook is an introduction to Scientific Calculus, illustrating various numerical methods for the computer solution of certain classes of mathematical problems. The authors show how to compute the zeros or integrals of continuous functions, solve linear systems, approximate functions by polynomials, and construct precise approximations for the solution of differential equations. To make the presentation concrete and attractive, the MATLAB programming environment has been adopted as a faithful companion.
Cálculo científico com MATLAB e Octave = Scientific calculus with MATLAB and Octave
Its objective is to present various numerical methods for solving certain mathematical problems on the computer that cannot be treated in a simpler way. Classical issues such as the computation of zeros or integrals of continuous functions, the solving of linear systems, the approximation of functions by polynomials and the construction of precise approximations for solutions of differential equations are addressed. All algorithms are presented in the programming languages MATLAB and Octave, whose main commands and instructions are introduced gradually, aiming in particular at their compatibility in both languages.
Binomial models in finance
This book deals with many topics in modern financial mathematics in a way that does not use advanced mathematical tools and shows how these models can be numerically implemented in a practical way. The book is aimed at undergraduate students, MBA students, and executives who wish to understand and apply financial models in the spreadsheet computing environment.The basic building block is the one-step binomial model where a known price today can take one of two possible values at the next time. In this simple situation, risk neutral pricing can be defined and the model can be applied to price forward contracts, exchange rate contracts, and interest rate derivatives.
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Applied Stochastic Control of Jump Diffusions
The main purpose of the book is to give a rigorous, yet mostly nontechnical, introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusionsThe types of control problems covered include classical stochastic control, optimal stopping, impulse control and singular control. Both the dynamic programming method and the maximum principle method are discussed, as well as the relation between them. Corresponding verification theorems involving the Hamilton-Jacobi Bellman equation and/or (quasi-)variational inequalities are formulated. There are also chapters on the viscosity solution formulation and numerical methods.The text emphasises applications, mostly to finance. All the main results are illustrated by examples and exercises appear at the end of each chapter with complete solutions. This will help the reader understand the theory and see how to apply it.The book assumes some basic knowledge of stochastic analysis, measure theory and partial differential equations.
Analysis of integrated and cointegrated time series with R
The analysis of integrated and co-integrated time series can be considered as the main methodology employed in applied econometrics. This book not only introduces the reader to this topic but enables him to conduct the various unit root tests and co-integration methods on his own by utilizing the free statistical programming environment R. The book encompasses seasonal unit roots, fractional integration, coping with structural breaks, and multivariate time series models. The book is enriched by numerous programming examples to artificial and real data so that it is ideally suited as an accompanying text book to computer lab classes.
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 Programming and Numerical Methods in MATLAB
The book covers numerical methods for solving a wide range of problems, from integration to the numerical solution of differential equations or the stimulation of random processes. Examples of programmes that solve problems directly, as well as those that use MATLAB’s high-level commands are given. Each chapter includes extensive examples and tasks, at varying levels of complexity. For practice, the early chapters include programmes that require debugging by the reader, while full solutions are given for all the tasks. The book also includes: A glossary of MATLAB commands / Aappendices of mathematical techniques used in numerical methods / Designed as a text for a first course in programming and algorithm design, as well as in numerical methods courses, the book will be of benefit to a wide range of students from mathematics and engineering, to commerce."
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.
An Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with the visualization of signals and processes in addition to graphical programming of signal processing systems. Through the utilization of a professional and globally supported software for metrology and control engineering, DasyLab, useful applications can be developed, modified and optimized. Computer supported processing of real signals is made possible over the sound card and the parallel port. Over two hundred pre-programmed signal engineering systems and design transparencies are provided. Pictures also play a dominant rule in this book: there are numerous introduction-videos, one for every chapter, more than 250 high-quality pictures and - most important – all the "living" experiments and their results are visualized. With this learning system, readers can now make use of "equipment" and software, which was practically unaffordable for individuals in the past. What's more, here is a very new concept for learning Signal Processing, not only from the physically-based scientific fundamentals, but also from the didactic perspective, based on modern results of brain research.
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.
Advances in semantic media adaptation and personalization
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advances in Industrial Engineering and Operations Research
Advances in Industrial Engineering and Operations Research compiles revised and extended articles written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists (IMECS) 2007. This volume addresses manufacturing processes and methods, optimization, experimental engineering design, and reliability and quality control techniques.
Advances in Human-Robot Interaction
The book addresses key issues of human-robot interaction concerned with perception, modelling, control, planning and cognition, covering a wide spectrum of applications. This includes interaction and communication with robots in manufacturing environments and the collaboration and co-existence with assistive robots in domestic environments. Among the presented examples are a robotic bartender, a new programming paradigm for a cleaning robot, or an approach to interactive teaching of a robot assistant in manufacturing environment. This carefully edited book reports on contributions from leading German academic institutions and industrial companies brought together within MORPHA, a 4 year project on interaction and communication between humans and anthropomorphic robot assistants
Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide to the vitality and growth of the field and its applications. The selected chapters, written by experts in their respective disciplines, are an outgrowth of presentations originally given at the 9th International Symposium of Dynamic Games and Applications. Featured throughout are useful tools for researchers and practitioners who use game theory for modeling in many disciplines.
Advances in Discrete Tomography and its Applications
Advances in Discrete Tomography and Its Applications is a unified presentation of new methods, algorithms, and select applications that are the foundations of multidimensional image reconstruction by discrete tomographic methods. The self-contained chapters, written by leading mathematicians, engineers, and computer scientists, present cutting-edge research and results in the field.Three main areas are covered: foundations, algorithms, and practical applications. Following an introduction that reports the recent literature of the field, the book explores various mathematical and computational problems of discrete tomography including new applications.
