tion method reported by Sussman (5) and practically sufficient to determine the inoculum size of baculovirus for plaque isolation or large-scale protein expression. Based on these observations, we replaced the plaque formation assay with the β-gal activity assay to obtain viral titers in our routine laboratory practice. We have successfully shortened the periods of time from transfection to pre...

technology, equipment and applications related to the automated assembly and robotics industries. Feature articles include updates on the latest manufacturing research, tutorials on a particular manufacturing technology and field reports on installed manufacturing technologies, all from a technical perspective. Each issue also includes additional brief articles, product announcements and event ...

I hope that you can continue with your preparing of my collected works. When my old papers first appeared, they produced little interest in the mathematical world, and it was only in recent times that they have been rediscovered and found useful. So a collection of all my papers may repair this position! —(Kurt Mahler, in his last letter to Alf van der Poorten) The quote at the beginning of thi...

First publication: Monatshefte für Mathematik und Physik, 37, 173–198 Reprints: S. Feferman et al., eds., Kurt Gödel. Collected Works. Volume I: Publications 1929–1936. New York: Oxford University Press, 1986, pp. 116–195. Translations: English translations: ‘On formally undecidable propositions of Principia mathematica and related systems I.’ Translation by B. Meltzer, On Formally Undecidable ...

When Kurt Gödel layed the foundations of theoretical computer science in 1931, he also introduced essential concepts of the theory of Artificial Intelligence (AI). Although much of subsequent AI research has focused on heuristics, which still play a major role in many practical AI applications, in the new millennium AI theory has finally become a full-fledged formal science, with important opti...