Formal Analysis of the Structural Correctness of SLC Descriptions
An Empirical Study of Securities Disclosure Practice
Spectroscopic Analysis on the Laser Induced Aluminum-oxygen Combustion and Explosion
Results of Automated Conjunction Analysis Tool Using In-House Generated KOMPSAT-2 Ephemeris
Analysis on the Long-term Orbital Evolution and Maintenance of KOMPSAT-2
Thermoviscoelastic modeling of a nonpneumatic tire with a lattice spoke