Computing Minimum-cardinality Diagnoses by Model Relaxation Sajjad Siddiqi National University of Sciences and Technology (NUST) Islamabad, Pakistan.
H 3 +, in planetary Ionospheres: Emission Spectrum 岡 武史 Department of Astronomy and Astrophysics, Departmen of Chemistry and The Enrico Fermi Institute,
Near Infrared Spectroscopy of H 3 + and CH 2 + Takeshi Oka Department of Chemistry and Department of Astronomy and Astrophysics The Enrico Fermi Institute,