Apoptosis proteins play an essential role in regulating a balance between cell proliferation and death. The successful prediction of subcellular localization of apoptosis proteins directly from primary sequence is much benefited to understand programmed cell death and drug discovery. In this paper, by use of Chou’s pseudo amino acid composition (PseAAC), a total of 317 apoptosis proteins are predicted by support vector machine (SVM). The jackknife cross-validation is applied to test predictive capability of (...) proposed method. The predictive results show that overall prediction accuracy is 91.1% which is higher than previous methods. Furthermore, another dataset containing 98 apoptosis proteins is examined by proposed method. The overall predicted successful rate is 92.9%. (shrink)
The essay centers on Gödel's views on the place of our intuitive concept of time in philosophy and in physics. It presents my interpretation of his work on the theory of relativity, his observations on the relationship between Einstein's theory and Kantian philosophy, as well as some of the scattered remarks in his conversations with me in the seventies — namely, those on the philosophies of Leibniz, Hegel and Husserl — as a successor of Kant — in relation to their (...) conceptions of time. (shrink)
This essay discusses a number of questions which arise from attempts to reduce the mental to the physical or the mental and the physical to the computational. It makes, in an organized way, several basic distinctions between different kinds of accounts of the mind. It reconstructs and elaborates many discussions between Gödel and the author on the nature of the human mind, with special emphasis on its mathematical capabilities.
I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...) (4) the transcommunal universality of mathematics; (5) the big jump to the potential infinite; (6) the reconciliation of local creation with the hypothesis of discovery; (7) Platonism as realism plus conceptualism; (8) foundational studies and mathematical practice; and (9) the decomposition of philosophical disagreements. The views of Gödel and Wittgenstein are emphasized in order to add specificity to the discussions. (shrink)
Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.