proceedings of the national academy of sciences proceedings of the national academy of sciences abbreviation proceedings of the royal society b proceedings of machine learning research proceedings of the acm on human-computer interaction proceedings of the combustion institute proceedings of the royal society a proceedings of the ieee proceedings of the american mathematical society proceedings of science