Handbook on Federated Learning, Edited By Saravanan Krishnan, A. Jose Anand, R. Sr
Название: Handbook of Artificial Intelligence in Biomedical Engineering ISBN: 1771889209 ISBN-13(EAN): 9781771889209 Издательство: Taylor&Francis Рейтинг: Цена: 20686.00 р. 29552.00-30% Наличие на складе: Есть (1 шт.) Описание: Handbook of Artificial Intelligence in Biomedical Engineering focuses on recent AI technologies and applications that provide some very promising solutions and enhanced technology in the biomedical field.
Автор: Dubber Markus, Pasquale Frank, Das Sunit Название: Oxford Handbook of Ethics of AI ISBN: 0197601448 ISBN-13(EAN): 9780197601440 Издательство: Oxford Academ Рейтинг: Цена: 7244.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Handbook provides an international, interdisciplinary, analysis and review of the way that artificial intelligence is introduced, defined, applied, and exploited, and governed in all spheres of individual, commercial, social, and public life.
Описание: Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence. The book at hand, devoted to Smart Software Applications in Cyber-Physical Systems, constitutes the second volume of a two-volume Handbook on Artificial Intelligence-empowered Applied Software Engineering. Topics include very significant advances in Smart Software Applications in (i) Scientific Document Processing, (ii) Enterprise Modeling, (iii) Education, (iv) Health care and Medicine, and (v) Infrastructure Monitoring. Professors, researchers, scientists, engineers, and students in artificial intelligence, software engineering, and computer science-related disciplines are expected to benefit from it, along with interested readers from other disciplines.
Описание: Foreword by Nobel laureate Professor Theodor W. Hansch of Ludwig-Maximilians-Universitat MunchenBased on the authors' experimental work over the last 25 years, Laser-Based Measurements for Time and Frequency Domain Applications: A Handbook presents basic concepts, state-of-the-art applications, and future trends in optical, atomic, and molecular physics. It provides all the background information on the main kinds of laser sources and techniques, offers a detailed account of the most recent results obtained for time- and frequency-domain applications of lasers, and develops the theoretical framework necessary for understanding the experimental applications.
After a historical introduction, the book describes the basic concepts and mathematical tools required for studying the physics of oscillators. It then discusses microwave and optical resonators, crucial aspects of operation and fundamental properties of lasers, and precision spectroscopy and absolute frequency metrology. It also focuses on microwave and optical frequency standards and explores current and potential research directions.
Accessible to scientists, postdoc researchers, and advanced undergraduate students, this self-contained book gives a wide-ranging, balanced overview of the areas-including frequency standards and clocks, ultra-high-precision spectroscopy, quantum information, and environmental metrology-revolutionized by the recent advent of optical frequency comb synthesizers (OFCSs) based on femtosecond mode-locked lasers. The book is also a useful guide to cutting-edge research for manufacturers of advanced laser systems and optical devices.
Автор: Siciliano Название: Springer Handbook of Robotics ISBN: 3319325507 ISBN-13(EAN): 9783319325507 Издательство: Springer Рейтинг: Цена: 45584.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The second edition of this handbook provides a state-of-the-art cover view on the various aspects in the rapidly developing field of robotics. Reaching for the human frontier, robotics is vigorously engaged in the growing challenges of new emerging domains. Interacting, exploring, and working with humans, the new generation of robots will increasingly touch people and their lives. The credible prospect of practical robots among humans is the result of the scientific endeavour of a half a century of robotic developments that established robotics as a modern scientific discipline. The ongoing vibrant expansion and strong growth of the field during the last decade has fueled this second edition of the Springer Handbook of Robotics. The first edition of the handbook soon became a landmark in robotics publishing and won the American Association of Publishers PROSE Award for Excellence in Physical Sciences & Mathematics as well as the organization’s Award for Engineering & Technology.The second edition of the handbook, edited by two internationally renowned scientists with the support of an outstanding team of seven part editors and more than 200 authors, continues to be an authoritative reference for robotics researchers, newcomers to the field, and scholars from related disciplines. The contents have been restructured to achieve four main objectives: the enlargement of foundational topics for robotics, the enlightenment of design of various types of robotic systems, the extension of the treatment on robots moving in the environment, and the enrichment of advanced robotics applications. Further to an extensive update, fifteen new chapters have been introduced on emerging topics, and a new generation of authors have joined the handbook’s team.A novel addition to the second edition is a comprehensive collection of multimedia references to more than 700 videos, which bring valuable insight into the contents. The videos can be viewed directly augmented into the text with a smartphone or tablet using a unique and specially designed app.
Автор: Klaus Havelund Название: formal methods ISBN: 3319955810 ISBN-13(EAN): 9783319955810 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
Автор: Chockler Название: Computer Aided Verification ISBN: 3319961446 ISBN-13(EAN): 9783319961446 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.
The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Автор: Beyersdorff Название: Theory and Applications of Satisfiability Testing – SAT 2018 ISBN: 3319941437 ISBN-13(EAN): 9783319941431 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions.
Автор: Galmiche Название: Automated Reasoning ISBN: 3319942042 ISBN-13(EAN): 9783319942049 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.
Автор: Chockler Название: Computer Aided Verification ISBN: 3319961411 ISBN-13(EAN): 9783319961415 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.
The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Автор: Bhattacharyya & Dutta Название: Handbook Of Research On Swarm Intelligence In Engineering ISBN: 1466682914 ISBN-13(EAN): 9781466682917 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 48787.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Swarm Intelligence has recently emerged as a next-generation methodology belonging to the class of evolutionary computing. As a result, scientists have been able to explain and understand real-life processes and practices that previously remained unexplored.The Handbook of Research on Swarm Intelligence in Engineering presents the latest research being conducted on diverse topics in intelligence technologies such as Swarm Intelligence, Machine Intelligence, Optical Engineering, and Signal Processing with the goal of advancing knowledge and applications in this rapidly evolving field. The enriched interdisciplinary contents of this book will be a subject of interest to the widest forum of faculties, existing research communities, and new research aspirants from a multitude of disciplines and trades.
Название: Interactive theorem proving ISBN: 3319948202 ISBN-13(EAN): 9783319948201 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
