Mathematics of Program Construction, Komendantskaya
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 85710.00 T Наличие на складе: Есть Описание: 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.
Автор: Brendan Fong, David I. Spivak Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality ISBN: 1108711820 ISBN-13(EAN): 9781108711821 Издательство: Cambridge Academ Рейтинг: Цена: 48570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: William Easttom Название: Modern Cryptography: Applied Mathematics for Encryption and Information Security ISBN: 3031123034 ISBN-13(EAN): 9783031123030 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 173490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gomes Correia Название: Trends on Construction in the Digital Era ISBN: 3031202406 ISBN-13(EAN): 9783031202407 Издательство: Springer Рейтинг: Цена: 260870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These proceedings address the latest developments in the broad area of intelligent construction integrated in the mission of the International Society for Intelligent Construction (ISIC) which aims to promote intelligent construction technologies applications from the survey, design, construction, operation, and maintenance/rehabilitation by adapting to changes of environments and minimizing risks. Its goals are to improve the quality of construction, cost-saving, and safety, exploring fundamental issues related to the application and use of Artificial Intelligence (AI) and Machine Learning techniques and technology. ISIC 2022 is the 3rd ISIC international conference, held in Guimar?es, Portugal on September 6–9, 2022, and follows the previous successful instalments of the conference series in China (2019) and USA (2017). It took a holistic approach to integrate civil engineering, construction machinery, electronic sensor technology, survey/testing technologies, information technology/computing, and other related fields in the broad area of intelligent construction. The respective contributions cover the following topics: Artificial Intelligence for Design and the Built Environment, Building Information Modelling (BIM) and Construction Automation and Robotics, Intelligent Construction, Sustainable Construction, and Sustainable and Smart Infrastructures. Given its broad range of coverage, the book will benefit students, educators, researchers and professionals practitioners alike, encouraging these readers to help the intelligent construction community into the digital era and with a vision on societal issues.
Автор: Keith B. Oldham; Jan Myland; Jerome Spanier Название: An Atlas of Functions ISBN: 1493950584 ISBN-13(EAN): 9781493950584 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Название: Computational diffusion mri ISBN: 3030058301 ISBN-13(EAN): 9783030058302 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Dehaan, Lex Koppelaars, Toon Название: Applied mathematics for database professionals ISBN: 1430211849 ISBN-13(EAN): 9781430211846 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book touches on an area seldom explored: the mathematical underpinnings of the relational database. It is the first book to explain the underlying math in a way that`s accessible to database professionals.
Автор: Labrador, Miguel A. Название: Human Activity Recognition ISBN: 1466588276 ISBN-13(EAN): 9781466588271 Издательство: Taylor&Francis Рейтинг: Цена: 137810.00 T Наличие на складе: Невозможна поставка. Описание:
Learn How to Design and Implement HAR Systems
The pervasiveness and range of capabilities of today's mobile devices have enabled a wide spectrum of mobile applications that are transforming our daily lives, from smartphones equipped with GPS to integrated mobile sensors that acquire physiological data. Human Activity Recognition: Using Wearable Sensors and Smartphones focuses on the automatic identification of human activities from pervasive wearable sensors--a crucial component for health monitoring and also applicable to other areas, such as entertainment and tactical operations.
Developed from the authors' nearly four years of rigorous research in the field, the book covers the theory, fundamentals, and applications of human activity recognition (HAR). The authors examine how machine learning and pattern recognition tools help determine a user's activity during a certain period of time. They propose two systems for performing HAR: Centinela, an offline server-oriented HAR system, and Vigilante, a completely mobile real-time activity recognition system. The book also provides a practical guide to the development of activity recognition applications in the Android framework.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
