5th International Symposium of Space Optical Instruments and Applications
5th International Symposium of Space Optical Instruments and Applications

Author: H. Paul Urbach

Publisher: Springer Nature

Published: 2020-01-30

Total Pages: 410

ISBN-13: 3030273008

DOWNLOAD EBOOK

This book gathers selected and expanded contributions presented at the 5th Symposium on Space Optical Instruments and Applications, which was held in Beijing, China, on September 5–7, 2018. This conference series is organized by the Sino-Holland Space Optical Instruments Laboratory, a cooperative platform between China and the Netherlands. The symposium focused on key technological problems regarding optical instruments and their applications in a space context. It covered the latest developments, experiments and results on the theory, instrumentation and applications of space optics. The book is split into five main sections: The first covers optical remote sensing system design, the second focuses on advanced optical system design, and the third addresses remote sensor calibration and measurement. Remote sensing data processing and information extraction are then presented, followed by a final section on remote sensing data applications.

Selected papers from the 2019 IEEE International Workshop on Metrology for AeroSpace
Selected papers from the 2019 IEEE International Workshop on Metrology for AeroSpace

Author: Pasquale Daponte

Publisher: MDPI

Published: 2021-04-21

Total Pages: 446

ISBN-13: 3036500588

DOWNLOAD EBOOK

This book is devoted to recent developments of instrumentation and measurement techniques applied to the aerospace field. It includes 23 selected papers from the 2019 IEEE International Workshop on Metrology for AeroSpace. Measurements are essential for obtaining a deeper knowledge of a phenomenon or an asset, as well as for making proper decisions and proposing new and efficient solutions, and this is especially true in environments as complex as aerospace. The research contributions included in the book can raise the interest of a wide group of researchers, operators and decision-makers from metrology and aerospace fields by presenting the most innovative solutions in this field from the scientific and technological points of view.

Formal Methods in Architecture
Formal Methods in Architecture

Author: Sara Eloy

Publisher: Springer Nature

Published: 2021-01-04

Total Pages: 325

ISBN-13: 3030575098

DOWNLOAD EBOOK

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.