Determination of average degree of polymerisation and distribution of oligosaccharides in a partially acid-hydrolysed homopolysaccharide: a comparison of four experimental methods applied to mannuronan

The average degree of polymerisation (DP) and distribution of oligosaccharides in partially acid hydrolysed mannuronans were quantitatively evaluated by 1H NMR, electrospray ionisation mass spectrometry (ESI-MS), micellar electrokinetic capillary chromatography with UV detection (MEKC-UV), and high-pressure anion-exchange chromatography with pulsed amperometric detection (HPAEC-PAD). Our investigation shows that 1H NMR, MEKC-UV and, in particular, HPAEC-PAD can be used as quantitative tools to aid the investigation of polysaccharide structure, function and synthesis. For the latter two techniques, especially, this represents a significant new development as it enables calculation of the quantity of individual oligomers of nominal DP by direct analysis of a defined oligomer mixture. Appropriate statistical averages of number and weight distributions were also calculated and found to fit very well to predicted Kuhn distributions that assume random depolymerisation.     

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

Representation determines how we can reason about a specific problem. Sometimes one representation helps us to find a proof more easily than others. Most current automated reasoning tools focus on reasoning within one representation. There is, therefore, a need for the development of better tools to mechanise and automate formal and logically sound changes of representation. In this paper we look at examples of representational transformations in discrete mathematics, and show how we have used tools from Isabelle’s Transfer package to automate the use of these transformations in proofs. We give an overview of a general theory of transformations that we consider appropriate for thinking about the matter, and we explain how it relates to the Transfer package. We show a few reasoning tactics we developed in Isabelle to improve the use of transformations, including the automation of search in the space of representations. We present and analyse some results of the use of these tactics.     

A theoretical investigation of the singly excited two-electron atomic states 1s2s3S and 1s3s3S

The singly-excited two-electron states 1s2s ³S and ls3s ³S have been investigated by means of the variational perturbation theory procedure. The wave functions have been constructed as linear combinations of Hylleraas terms with hyperbolic factors in t, and the results obtained by carrying the computations through to 10th perturbation order and with 36(37)- 57(58)- and 85(86)-term basic sets, respectively, are reported. These results compare favourably with the corresponding best values from previous conventional variational calculations.