38th DASC

38th DASC PDF Author:
Publisher:
ISBN: 9781728106496
Category :
Languages : en
Pages :

Get Book Here

Book Description

38th DASC

38th DASC PDF Author:
Publisher:
ISBN: 9781728106496
Category :
Languages : en
Pages :

Get Book Here

Book Description


Proceedings of 10th International Conference on Recent Advances in Civil Aviation

Proceedings of 10th International Conference on Recent Advances in Civil Aviation PDF Author: Oleg Anatolyevich Gorbachev
Publisher: Springer Nature
ISBN: 9811937885
Category : Technology & Engineering
Languages : en
Pages : 452

Get Book Here

Book Description
The volume comprises proceedings of the 10th International Conference on Recent Advances in Civil Aviation. The contents focus on air traffic control and management, quality control and reliability improvement of radio equipment and avionics, designing and testing aircraft assemblies and mechanisms, reliability improvement of aircraft management systems, aviation enterprise management, etc. There is also emphasis on the current problems and prospects for development of unmanned aircraft systems. This volume will be beneficial to researchers, practitioners, and policy-makers alike.

NASA Formal Methods

NASA Formal Methods PDF Author: Nathaniel Benz
Publisher: Springer Nature
ISBN: 3031606981
Category :
Languages : en
Pages : 447

Get Book Here

Book Description


Information Systems and Technologies

Information Systems and Technologies PDF Author: Alvaro Rocha
Publisher: Springer Nature
ISBN: 3031048199
Category : Technology & Engineering
Languages : en
Pages : 622

Get Book Here

Book Description
This book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications. This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Big Data Intelligence and Computing

Big Data Intelligence and Computing PDF Author: Ching-Hsien Hsu
Publisher: Springer Nature
ISBN: 981992233X
Category : Computers
Languages : en
Pages : 570

Get Book Here

Book Description
This book constitutes the proceedings of the International Conference on Big Data Intelligence and Computing, DataCom 2022, which took place in Denarau Island, Fiji, in December 2022. The 30 full papers included in this volume were carefully reviewed and selected from 88 submissions. The papers detail big data analytics solutions, distributed computation paradigms, on-demand services, autonomic systems, and pervasive applications.

New Technologies, Development and Application VII

New Technologies, Development and Application VII PDF Author: Isak Karabegovic
Publisher: Springer Nature
ISBN: 3031662717
Category :
Languages : en
Pages : 714

Get Book Here

Book Description


NASA Formal Methods

NASA Formal Methods PDF Author: Jyotirmoy V. Deshmukh
Publisher: Springer Nature
ISBN: 3031067738
Category : Computers
Languages : en
Pages : 848

Get Book Here

Book Description
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

Computational Science and Its Applications – ICCSA 2023

Computational Science and Its Applications – ICCSA 2023 PDF Author: Osvaldo Gervasi
Publisher: Springer Nature
ISBN: 3031368088
Category : Computers
Languages : en
Pages : 600

Get Book Here

Book Description
The two-volume set LNCS 13956 and 13957 constitutes the refereed proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Lesvos Island, Greece, during July 3–6, 2023. The 67 full papers and 13 short papers and 6 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 283 submissions. The contributions are grouped in topics which deal with General Track 1: Computational Methods, Algorithms and Scientific Applications; General Track 2: High Performance Computing and Networks; General Track 3: Geometric Modeling, Graphics and Visualization; General Track 4: Advanced and Emerging Applications; General Track 5: Information Systems and Technologies; General Track 6: Urban and Regional Planning; and PHD Showcase Papers.

The Internet of Drones

The Internet of Drones PDF Author: Arun Solanki
Publisher: CRC Press
ISBN: 1000565068
Category : Computers
Languages : en
Pages : 451

Get Book Here

Book Description
In recent years, drones have been integrated with the Internet of Things to offer a variety of exciting new applications. Here is a detailed exploration of adapting and implementing Internet of Drones technologies in real-world applications, emphasizing solutions to architectural challenges and providing a clear overview of standardization and regulation, implementation plans, and privacy concerns. The book discusses the architectures and protocols for drone communications, implementing and deploying of 5G-drone setups, security issues, deep learning techniques applied on real-time footage, and more. It also explores some of the varied applications, such as for monitoring and analysis of troposphere pollutants, providing services and communications in smart cities (such as for weather forecasting, communications, transport, safety and protection), for disaster relief management, for agricultural crop monitoring, and more.

Real-Time Ground-Based Flight Data and Cockpit Voice Recorder

Real-Time Ground-Based Flight Data and Cockpit Voice Recorder PDF Author: Mustafa M. Matalgah
Publisher: John Wiley & Sons
ISBN: 1119984866
Category : Technology & Engineering
Languages : en
Pages : 196

Get Book Here

Book Description
Real-Time Ground-Based Flight Data and Cockpit Voice Recorder Unique text determining the feasibility for implementation and manufacture of ground-based black box systems Real-Time Ground-Based Flight Data and Cockpit Voice Recorder helps familiarize the reader with the nature of issues surrounding existing black box technology integrated on aircrafts and to understand the benefits and importance of proposed real-time ground-based alternative solutions. These are based on predicting aircraft problems while in flight, including understanding the feasibility of using the already existing space and ground-based wireless technologies infrastructures for this purpose. The authors discuss expense reductions in the crash investigation when implementing the new concepts in this book as compared to existing procedures when aircraft accidents occur. The text also opens new research ideas for future investigations. Simulation codes are included to allow for further independent exploration into the covered concepts and ideas. Topics covered in the book include: Satellite Data Transfer Implementation, including basics of the technology, channel data rate, PSTN-based satellite implementation, and expected availability of spectrum Very High Frequency Digital Link (VDL), including modes, sublayers, data transfer, packet and frame structure, and number of channels needed to support a certain number of airplanes Modern Airplane Communication Technologies (including direct air-to-ground communication using 5G) and terahertz band communications; and their integration into aviation communications Black box final architecture and connectivity, including ground and UAV connectivity, and general black box wireless communications challenges For aviation industrial engineers and technical staff, managers, and aerospace and academic researchers, Real-Time Ground-Based Flight Data and Cockpit Voice Recorder is a valuable guide to existing and future technology to successfully predict aircraft problems during flight.