Journals

Truhlar, Donald G. Truhlar, Donald G.- Potential energy surfaces for chemical reaction dynamics; transition state theory with an emphasis on isotope effects and tunneling corrections. Schlegel Group Schlegel Group- Computational chemistry. Theoretical Chemistry Group, University of Oslo Theoretical Chemistry Group, University of Oslo- Ab initio quantum chemistry, molecular response properties, and explicitly correlated electronic wavefunctions. Theoretical Chemistry Division, Royal Institute of Technology (KTH), Sweden Theoretical Chemistry Division, Royal Institute of Technology (KTH), Sweden- Ab initio quantum chemistry, molecular response properties, and nonlinear optical properties. Cambridge Centre for Computational Chemistry Cambridge Centre for Computational Chemistry- Condensed matter science, surface science and statistical mechanics of complex and disordered systems. Journal of Chemical Information and Modeling (JCIM) Journal of Chemical Information and Modeling (JCIM)- Covers topics such as database search systems, use of graph theory in chemical problems, substructure search systems, pattern … Journal of Chemical Theory and Computation (JCTC) Journal of Chemical Theory and Computation (JCTC)- Publishes papers reporting new theories, methodology, and/or important applications in quantum chemistry, molecular dynamics, an… Journal of Computational Chemistry Journal of Computational Chemistry- Publishes original articles on ab initio and semiempirical quantum mechanics, density functional theory, molecular mechanics, molecular dynamic… Journal of Computer-Aided Molecular Design Journal of Computer-Aided Molecular Design- Publishes articles on the theory and the application of computer-based methods in the analysis and design of molecules. This includes t… Theoretical Chemistry Accounts: Theory, Computation, and Modeling (Theoretica Chimica Acta) Theoretical Chemistry Accounts: Theory, Computation, and Modeling (Theoretica Chimica Acta)- Publishes papers in all fields of theoretical chemistry, computational chemistry, and … Computational Chemistry Journals Computational Chemistry Journals- A list of journals known to publish articles about computational chemistry, even when the main focus of the journal is not computational chemistr… Journal of Theoretical and Computational Chemistry (JTCC) Journal of Theoretical and Computational Chemistry (JTCC)- Covers the development of fundamental theoretical methodology and computational algorithms to extensive numerical applic… Molecular Simulation Molecular Simulation- Covers all aspects of research related to, or of importance to, molecular modelling and simulation (including informatics, theoretical and experimental work). Tetrahedron Computer Methodology Tetrahedron Computer Methodology- Journal that ran from 1988 to 1990 and was a pioneer in electronic publishing in chemistry. It published articles about the application of comput… Journal of Computer Aided Chemistry Journal of Computer Aided Chemistry- Published by the Division of Chemical Information and Computer Science, The Chemical Society of Japan. Journal of Molecular Graphics and Modelling Journal of Molecular Graphics and Modelling- Publishes original research on the development and application of molecular modelling in the study of molecular structure, function, i… Journal of Computer Chemistry, Japan (JCCJ) Journal of Computer Chemistry, Japan (JCCJ)- Published by the Society of Computer Chemistry, Japan. Computational Biology and Chemistry Computational Biology and Chemistry- Publishes original papers and reviews in all areas of computational life sciences, such as nucleic acid and protein sequence research, molecul… Journal of Molecular Structure: THEOCHEM Journal of Molecular Structure: THEOCHEM- Publishes research related to the theory and modelling of molecular systems, including electronic structure, ab initio and semiempirical;… Journal of Molecular Modeling Journal of Molecular Modeling- Publishes articles on life science modeling (including QSAR, data mining/bioinformatics, structure and substructure search), materials modeling, new… Implementing Mathematics Using NuPrl Implementing Mathematics Using NuPrl- Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks on intuitionism, as well as sample formalisat… Nuprl Project Related Web Sites Nuprl Project Related Web Sites- NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory. Extensional Concepts in Intensional Type Theory Extensional Concepts in Intensional Type Theory- PhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in Martin-Löf's Type Theory can be re… Martin-Löf Type Theory: Semantics and Proof Theory Martin-Löf Type Theory: Semantics and Proof Theory- Home page of a working group maintained by Thierry Coquand. Sysepub Sysepub- An open-source Java cipher that combines one time pad with public and private keys. Komodia Inc. Komodia Inc.- Offers SSL interception module to decode and modify SSL traffic on Windows OS. Punkroy and the Cypher Project Punkroy and the Cypher Project- Collection of programming examples on encryption including: file encryption, steganography in images and sound, data base record encryption, and pa… DevOTechS: Huge Integer Math and Encryption Library (HIME) DevOTechS: Huge Integer Math and Encryption Library (HIME)- A dll for implementing public and secret key encryption using RSA, AES, SHA-256. Also contains functions for prime numb… Entrust Dev-Net Entrust Dev-Net- A variety of tools to add PKI functionality to your application. SlavaSoft QuickHash Library SlavaSoft QuickHash Library- Allows hash, checksum and HMAC calculations to be added to Windows applications. C++, commercial.