The market of solar-powered Unmanned Aerial Vehicles (UAVs) for defence purposes and drone services is expected to grow by a factor of more than 2 in the next decade.From an aircraft design perspective, the main challenge is the scalability of the proposed architectures, which is needed to increase the payload capabilities.Beside some successful ex
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and Right Side Sticker provers based on them) have been presented.This work falls within the general project of establishing a common specification language in order to certify proofs giv
Error control coding improves reliability and efficiency of wireless communication systems.This research delves into the latest advancements in error control coding schemes for wireless communication systems, with a specific focus on their application within the domain of Low Power Wide Area Networks (LPWANs) such OLIVE as Narrowband Internet of Th