Author: Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 896
Book Description
NASA Conference Publication
Author: NASA Conference Publication
Author: NASA Conference Publication
Author: NASA Conference Publication
Author: NASA Formal Methods
Author: Aaron DutlePublisher: Springer Nature
ISBN: 3030763846
Category : Computers
Languages : en
Pages : 402
Book Description
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
NASA Scientific and Technical Publications
Author: Space Shuttle Technical Conference, Part 2
Author: Quantum Computing and Quantum Communications
Author: Colin P. WilliamsPublisher: Springer
ISBN: 3540492089
Category : Computers
Languages : en
Pages : 480
Book Description
This book contains selected papers presented at the First NASA International Conference on Quantum Computing and Quantum Communications, QCQC'98, held in Palm Springs, California, USA in February 1998. As the record of the first large-scale meeting entirely devoted to quantum computing and communications, this book is a unique survey of the state-of-the-art in the area. The 43 carefully reviewed papers are organized in topical sections on entanglement and quantum algorithms, quantum cryptography, quantum copying and quantum information theory, quantum error correction and fault-tolerant quantum computing, and embodiments of quantum computers.
Author: Benjamin Kobler
Author: