Think Before You Compute: A Prelude to Computational Fluid Dynamics, E. J. Hinch
Автор: Strang Gilbert Название: Linear Algebra and Learning from Data ISBN: 0692196382 ISBN-13(EAN): 9780692196380 Издательство: Cambridge Academ Рейтинг: Цена: 9978.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Linear algebra and the foundations of deep learning, together at last! From Professor Gilbert Strang, acclaimed author of Introduction to Linear Algebra, comes Linear Algebra and Learning from Data, the first textbook that teaches linear algebra together with deep learning and neural nets. This readable yet rigorous textbook contains a complete course in the linear algebra and related mathematics that students need to know to get to grips with learning from data. Included are: the four fundamental subspaces, singular value decompositions, special matrices, large matrix computation techniques, compressed sensing, probability and statistics, optimization, the architecture of neural nets, stochastic gradient descent and backpropagation.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: Dowek Название: Computation, Proof, Machine ISBN: 0521118018 ISBN-13(EAN): 9780521118019 Издательство: Cambridge Academ Рейтинг: Цена: 13147.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
Автор: Wellin Название: Essentials of Programming in Mathematica ® ISBN: 110711666X ISBN-13(EAN): 9781107116665 Издательство: Cambridge Academ Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction is suitable for someone who has little or no background in Mathematica (R), or who has some experience using other languages such as C, Java, or Perl. Starting from first principles, this example-driven text contains material from disciplines as varied as linguistics, bioinformatics, geometry, computer science, and many more.
Автор: Gilbert Baumslag,Benjamin Fine,Martin Kreuzer,Gerh Название: A Course in Mathematical Cryptography ISBN: 3110372762 ISBN-13(EAN): 9783110372762 Издательство: Walter de Gruyter Цена: 9288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cryptography has become essential as bank transactions, credit card infor-mation, contracts, and sensitive medical information are sent through inse-cure channels. This book is concerned with the mathematical, especially algebraic, aspects of cryptography. It grew out of many courses presented by the authors over the past twenty years at various universities and covers a wide range of topics in mathematical cryptography. It is primarily geared towards graduate students and advanced undergraduates in mathematics and computer science, but may also be of interest to researchers in the area. Besides the classical methods of symmetric and private key encryption, the book treats the mathematics of cryptographic protocols and several unique topics such as Group-Based Cryptography Grobner Basis Methods in Cryptography Lattice-Based Cryptography
Автор: Kehui Sun Название: Chaotic Secure Communication: Principles and Technologies ISBN: 3110426889 ISBN-13(EAN): 9783110426885 Издательство: Walter de Gruyter Рейтинг: Цена: 18586.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The monograph begins with a systematic introduction of chaos and chaos synchronization, and then extends to the methodologies and technologies in secure communication system design and implementation. The author combines theoretical frameworks with empirical studies, making the book a pratical reference for both academics and industrial engineers.
Автор: Viacheslav Karmalita Название: Digital Processing of Random Oscillations ISBN: 3110625008 ISBN-13(EAN): 9783110625004 Издательство: Walter de Gruyter Рейтинг: Цена: 16727.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with the autoregressive method for digital processing of random oscillations. The method is based on a one-to-one transformation of the numeric factors of the Yule series model to linear elastic system characteristics. This parametric approach allowed to develop a formal processing procedure from the experimental data to obtain estimates of logarithmic decrement and natural frequency of random oscillations. A straightforward mathematical description of the procedure makes it possible to optimize a discretization of oscillation realizations providing efficient estimates. The derived analytical expressions for confidence intervals of estimates enable a priori evaluation of their accuracy. Experimental validation of the method is also provided. Statistical applications for the analysis of mechanical systems arise from the fact that the loads experienced by machineries and various structures often cannot be described by deterministic vibration theory. Therefore, a sufficient description of real oscillatory processes (vibrations) calls for the use of random functions. In engineering practice, the linear vibration theory (modeling phenomena by common linear differential equations) is generally used. This theory’s fundamental concepts such as natural frequency, oscillation decrement, resonance, etc. are credited for its wide use in different technical tasks. In technical applications two types of research tasks exist: direct and inverse. The former allows to determine stochastic characteristics of the system output X(t) resulting from a random process E(t) when the object model is considered known. The direct task enables to evaluate the effect of an operational environment on the designed object and to predict its operation under various loads. The inverse task is aimed at evaluating the object model on known processes E(t) and X(t), i.e. finding model (equations) factors. This task is usually met at the tests of prototypes to identify (or verify) its model experimentally. To characterize random processes a notion of "shaping dynamic system" is commonly used. This concept allows to consider the observing process as the output of a hypothetical system with the input being stationary Gauss-distributed ("white") noise. Therefore, the process may be exhaustively described in terms of parameters of that system. In the case of random oscillations, the "shaping system" is an elastic system described by the common differential equation of the second order: X ?(t)+2hX ?(t)+ ?_0^2 X(t)=E(t), where ?0 = 2?/Т0 is the natural frequency, T0 is the oscillation period, and h is a damping factor. As a result, the process X(t) can be characterized in terms of the system parameters – natural frequency and logarithmic oscillations decrement ? = hT0 as well as the process variance. Evaluation of these parameters is subjected to experimental data processing based on frequency or time-domain representations of oscillations. It must be noted that a concept of these parameters evaluation did not change much during the last century. For instance, in case of the spectral density utilization, evaluation of the decrement values is linked with bandwidth measurements at the points of half-power of the observed oscillations. For a time-domain presentation, evaluation of the decrement requires measuring covariance values delayed by a time interval divisible by T0. Both estimation procedures are derived from a continuous description of research phenomena, so the accuracy of estimates is linked directly to the adequacy of discrete representation of random oscillations. This approach is similar a concept of transforming differential equations to difference ones with derivative approximation by corresponding finite differences. The resulting discrete model, being an approximation, features a methodical error which can be decreased but never eliminated. To render such a presentation more accurate it is imperative to decrease the discretization interval and to increase realization size growing requirements for computing power. The spectral density and covariance function estimates comprise a non-parametric (non-formal) approach. In principle, any non-formal approach is a kind of art i.e. the results depend on the performer’s skills. Due to interference of subjective factors in spectral or covariance estimates of random signals, accuracy of results cannot be properly determined or justified. To avoid the abovementioned difficulties, the application of linear time-series models with well-developed procedures for parameter estimates is more advantageous. A method for the analysis of random oscillations using a parametric model corresponding discretely (no approximation error) with a linear elastic system is developed and presented in this book. As a result, a one-to-one transformation of the model’s numerical factors to logarithmic decrement and natural frequency of random oscillations is established. It allowed to develop a formal processing procedure from experimental data to obtain the estimates of ? and ?0. The proposed approach allows researchers to replace traditional subjective techniques by a formal processing procedure providing efficient estimates with analytically defined statistical uncertainties.
Описание: This guide to computational fluid mechanics is for any beginning graduate student who is thinking of computing a flow. The text starts with a quick introduction to enable students to solve numerically a simple problem by a simple method, before detailing all the key essentials and discussing optional advanced topics.
Автор: Chi Tat Chong, Liang Yu Название: Recursion Theory: Computational Aspects of Definability ISBN: 3110275554 ISBN-13(EAN): 9783110275551 Издательство: Walter de Gruyter Цена: 20712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.
Автор: von zur Gathen Название: Modern Computer Algebra ISBN: 1107039037 ISBN-13(EAN): 9781107039032 Издательство: Cambridge Academ Рейтинг: Цена: 17582.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook is widely regarded as the `bible of computer algebra`. Its comprehensiveness and reliability also makes it an essential reference for professionals. This updated edition includes an overview of recent improvements in areas like primality testing.
Автор: J.-J. Ch. Meyer, W. van der Hoek Название: Epistemic Logic for AI and Computer Science ISBN: 0521602807 ISBN-13(EAN): 9780521602808 Издательство: Cambridge Academ Рейтинг: Цена: 9186.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
Описание: This book focuses mainly on the recent developments of all types of theoretical, mathematical, and computational conceptions, as well as modelling and simulation of specific research themes covering all scientific and technical disciplines from chemistry, physics, and engineering to biology and medicine. The book contains timely reviews and research covering fundamental and applied research aspects in all disciplines of natural sciences, including their historical representations and philosophical perspectives. The book discusses the fact that the largest and smallest values of the fukui function and local softness do not necessarily correspond to the softness and hardness regions of the molecules such as porphyrins. The authors have adopted two popular calculation procedures for this venture. One is the very old Huckel molecular orbital calculation, and the other is one of best semi-empirical AM-1 procedures for such systems. Our finding is that neither the fukui functions nor the local softnesses can predict the preferred donor sites of porphyrins toward metal ions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
