Ammonia-water solution cloud modeling of gas giant planets via phase equilibrium calculations | IEEE Conference Publication | IEEE Xplore