text: Activity coefficients of electrolyte solutions may be calculated theoretically, using the Debye–Hückel equation or extensions such as the Davies equation, Pitzer equations or TCPC model. Specific ion interaction theory (SIT) may also be used.
  For non-electrolyte solutions correlative methods such as UNIQUAC, NRTL, MOSCED or UNIFAC may be employed, provided fitted component-specific or model parameters are available. COSMO-RS is a theoretical method which is less dependent on model parameters as required information is obtained from quantum mechanics calculations specific to each molecule (sigma profiles) combined with a statistical thermodynamics treatment of surface segments.
  For uncharged species, the activity coefficient γ mostly follows a salting-out model:
  This simple model predicts activities of many species (dissolved undissociated gases such as CO, HS, NH, undissociated acids and bases) to high ionic strengths (up to 5 mol/kg). The value of the constant b for CO is 0.11 at 10 °C and 0.20 at 330 °C.
  For water as solvent, the activity a can be calculated using:
  where ν is the number of ions produced from the dissociation of one molecule of the dissolved salt, b is the molality of the salt dissolved in water, φ is the osmotic coefficient of water, and the constant 55.51 represents the molality of water. In the above equation, the activity of a solvent (here water) is represented as inversely proportional to the number of particles of salt versus that of the solvent.