Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Автор: Wang Brydon, Timothy Wang, Chien Ming Название: Automating Cities: Design, Construction, Operation and Future Impact ISBN: 9811586691 ISBN-13(EAN): 9789811586699 Издательство: Springer Рейтинг: Цена: 12856.00 р. 16070.00-20% Наличие на складе: Есть (1 шт.) Описание: This book highlights the latest advancements in the use of automated systems in the design, construction, operation and future of the built environment and its occupants.
Описание: This expanded textbook, now in its second edition, is a practical yet in depth guide to cryptography and its principles and practices. Now featuring a new section on quantum resistant cryptography in addition to expanded and revised content throughout, the book continues to place cryptography in real-world security situations using the hands-on information contained throughout the chapters. Prolific author Dr. Chuck Easttom lays out essential math skills and fully explains how to implement cryptographic algorithms in today's data protection landscape. Readers learn and test out how to use ciphers and hashes, generate random keys, handle VPN and Wi-Fi security, and encrypt VoIP, Email, and Web communications. The book also covers cryptanalysis, steganography, and cryptographic backdoors and includes a description of quantum computing and its impact on cryptography. This book is meant for those without a strong mathematics background with only just enough math to understand the algorithms given. The book contains a slide presentation, questions and answers, and exercises throughout. * Presents new and updated coverage of cryptography including new content on quantum resistant cryptography; * Covers the basic math needed for cryptography - number theory, discrete math, and algebra (abstract and linear); * Includes a full suite of classroom materials including exercises, Q&A, and examples.
Without mathematics no science would survive. This especially applies to the engineering sciences which highly depend on the applications of mathematics and mathematical tools such as optimization techniques, finite element methods, differential equations, fluid dynamics, mathematical modelling, and simulation. Neither optimization in engineering, nor the performance of safety-critical system and system security; nor high assurance software architecture and design would be possible without the development of mathematical applications.
De Gruyter Series on the Applications of Mathematics in Engineering and Information Sciences (AMEIS) focusses on the latest applications of engineering and information technology that are possible only with the use of mathematical methods. By identifying the gaps in knowledge of engineering applications the AMEIS series fosters the international interchange between the sciences and keeps the reader informed about the latest developments.
Автор: Koushik Ghosh, Souvik Bhattacharyya Название: Noise Filtering for Big Data Analytics ISBN: 3110697092 ISBN-13(EAN): 9783110697094 Издательство: Walter de Gruyter Рейтинг: Цена: 26024.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explains how to perform data de-noising, in large scale, with a satisfactory level of accuracy. Three main issues are considered. Firstly, how to eliminate the error propagation from one stage to next stages while developing a filtered model.
Secondly, how to maintain the positional importance of data whilst purifying it. Finally, preservation of memory in the data is crucial to extract smart data from noisy big data. If, after the application of any form of smoothing or filtering, the memory of the corresponding data changes heavily, then the final data may lose some important information.
This may lead to wrong or erroneous conclusions. But, when anticipating any loss of information due to smoothing or filtering, one cannot avoid the process of denoising as on the other hand any kind of analysis of big data in the presence of noise can be misleading. So, the entire process demands very careful execution with efficient and smart models in order to effectively deal with it.
Название: Construction manual for robots` ethical systems ISBN: 3319215477 ISBN-13(EAN): 9783319215471 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Construction Manual for Robots` Ethical Systems
Название: Computational diffusion mri ISBN: 3030058301 ISBN-13(EAN): 9783030058302 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI`18), which was held under the auspices of the International Conference on Medical Image Computing and Computer Assisted Intervention in Granada, Spain on September 20, 2018.
Описание: This book enables readers to understand, model, and predict complex dynamical systems using new methods with stochastic tools. The author presents a unique combination of qualitative and quantitative modeling skills, novel efficient computational methods, rigorous mathematical theory, as well as physical intuitions and thinking. An emphasis is placed on the balance between computational efficiency and modeling accuracy, providing readers with ideas to build useful models in practice. Successful modeling of complex systems requires a comprehensive use of qualitative and quantitative modeling approaches, novel efficient computational methods, physical intuitions and thinking, as well as rigorous mathematical theories. As such, mathematical tools for understanding, modeling, and predicting complex dynamical systems using various suitable stochastic tools are presented. Both theoretical and numerical approaches are included, allowing readers to choose suitable methods in different practical situations. The author provides practical examples and motivations when introducing various mathematical and stochastic tools and merges mathematics, statistics, information theory, computational science, and data science. In addition, the author discusses how to choose and apply suitable mathematical tools to several disciplines including pure and applied mathematics, physics, engineering, neural science, material science, climate and atmosphere, ocean science, and many others. Readers will not only learn detailed techniques for stochastic modeling and prediction, but will develop their intuition as well. Important topics in modeling and prediction including extreme events, high-dimensional systems, and multiscale features are discussed.
L`ouvrage porte sur la « trajectivite », un terme emprunte a la mesologie d`Augustin Berque et qui se definit comme un mouvement d`aller-retour entre les « moments » de la reception et de la creation. Posant les rapports a la litterature sous l`angle phenomenologique, il ouvre une perspective nouvelle aux etudes litteraires et traductologiques.
Автор: Keith B. Oldham; Jan Myland; Jerome Spanier Название: An Atlas of Functions ISBN: 1493950584 ISBN-13(EAN): 9781493950584 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book comprehensively covers several hundred functions or function families. In chapters that progress by degree of complexity, it starts with simple, integer-valued functions then moves on to polynomials, Bessel, hypergeometric and hundreds more.
Автор: Aslak Tveito; Hans Petter Langtangen; Bj?rn Freder Название: Elements of Scientific Computing ISBN: 3642265197 ISBN-13(EAN): 9783642265198 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics, astrophysics, chemistry, biology, and most engineering disciplines. It is our goal to teach principles and ideas that carry over from field to field.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru