Posts
2024
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
·496 words·3 mins
Simplified explanation with examples of paper: A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
Exploring Voyager: Components, Challenges, and Communication in Deep Space
·598 words·3 mins
Learn about the telecommunication system, scientific instruments, power sources, and the recent issue with the Flight Data Subsystem (FDS) that was successfully resolved.
Feature Detection, Bundle Adjustment, and Optimization in Panoramic Photography
·2028 words·10 mins
Summarization of the key concepts, algorithms, and methods involved in panoramic photography and 3D reconstruction using feature detection and bundle adjustment withe examples and steps.
How to Use Voyager 1 and Voyager 2 Data for Projects (CDF)
·407 words·2 mins
Learn how to access and process Voyager 1 and 2 data using the CDF format, including converting it to CSV for analysis. Includes tools, step-by-step guidance, and a Python script.