In an effort to establish a scientific foundation for the computational development of advanced Mg-based alloys, a systematic study of the generalized stacking fault (GSF) energy curves has been undertaken.
Not only do we revisit some of the main features of biological vision and discuss the foundations of existing computational studies modelling biological vision, but also we consider three classical computer vision tasks from a biological perspective: image sensing, segmentation and optical flow.
Hilary Putnam, who was at Princeton and then Harvard until his retirement, besides other important contributions less directly connected to Reichenbach, combined Reichenbach's emphasis on learning in the limit with the theory of computation to create the foundations of computational learning theory, which remains a major theme in theoretical computer science.
Reflection on the foundations of computational theory is thus of potential significance not only to the philosophy of computer science, but also to philosophy of mathematics and epistemology as well.
Manuel Blum, (born April 26 , 1938 Caracas, Venez.) Venezuelan-born American mathematician and computer scientist and winner of the 1995 A.M. Turing Award, the highest honour in computer science, in "recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
April 26 , 1938Caracas, Venezuela Manuel Blum, (born April 26 , 1938 Caracas, Venez.) Venezuelan-born American mathematician and computer scientist and winner of the 1995 A.M. Turing Award, the highest honour in computer science, in "recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
It is on the one hand the language of much of science, enabling detailed descriptions and predictions of all kinds of natural phenomena, underlying the foundations of computational tools for investigating nature and in general providing a lingua franca for objective communication of testable hypotheses.
By the same token, unlimited pancomputationalism threatens the foundations of computer science, where the objective computational power of different systems is paramount.
