read about OPTIM and download it and related programs from Wales Group website.
I worked on translation of Learn You a Haskell for Great Good! into Ukrainian during lunchtimes for a few years. A surprising number of lunchtimes went into it; as my music teacher used to say, "it is not the water that carves the stone but the frequency of falling" (paraphrasing Ovid, perhaps), and so some progress has been made by now.
Many find Haskell a difficult language to learn, but the barriers to understanding are sometimes artificial. Othertimes they are heightened by factors such as lack of study materials available in the native language of the learner. I have found that exactly, and few attempts to rectify the situation citing a variety of other difficulties that have little to do with the domain of functional programming.
While translating the book we have found that many concepts do not have words to describe them in Ukrainian efficiently, and so, verbal prowess and command of computer science were necessary but insufficient prerequisites to doing a good job of it. Many people helped out with the translation, latest version is available on https://haskell.trygub.com, and is licensed under a creative commons license.
I did a PhD under the supervision of Professor David Wales. The work that was carried out is summarised in the PhD thesis "Pathways and Energy Landscapes". It's a trilogy in three parts, and a summary of each of the main chapters follows:
The main focus of the first one is on double-ended methods for finding transition states. A detailed review of one of the leading methods from that class is followed by the discussion of our modifications and improvements that allowed us to extend its applicability. Results for a model two-dimensional surface and Lennard-Jones clusters of several sizes are presented. The chapter culminates with an application to finding folding paths for a family of small peptides known as tryptophan zippers.
The second part is devoted to discussion of two exciting properties of rearrangement pathways — cooperativity and localisation. A new measure of cooperativity suitable for applications to atomic rearrangements is introduced and subsequently used to establish the links between cooperativity of a single-step rearrangement, the energy barrier height and the difficulty of locating the corresponding transition state with both single-ended and double-ended methods.
In the third chapter we deal with compact representations of large pathway ensembles borrowing ideas from graph theory and the theory of random processes. The main theme is the development of faster methods for calculation of mean escape times for graphs of increasing complexity. We devise a number of approaches for extracting this kinetic information and compare them to well-established techniques such as kinetic Monte Carlo and discrete path sampling.
Slovnenya is a dictionary authoring system that aims to amplify the power of lexicographers, allowing to produce a higher quality dictionary with fewer editors and resources, which benefits minority language communities.
The dictionary is written in Haskell and uses elements of machine learning, some moderate computational linguistics wizardry and functional programming type-foo to help itself grow over time.
Presently the system has high error rate most of which was directly inherited from the sources Slovnenya reasoning engine was seeded with. These are (slowly) being weeded out with use, and adverts are paying for infrastructure and hosting.
While studying cooperativity and localization properties of rearrangement pathways we sampled and analysed a large number of them for LJ75—a 75-atom cluster bound by Lennard-Jones intermolecular pair potential.
The potential energy surface for LJ75 is rich in stationary points, and using cooperativity measure as a guide we saw why some pathways are easy to find with aggressive, approximate optimisers while others are excruciatingly hard.
Here we present two rearrangements of LJ75—the most cooperative and the most uncooperative ones we have found at the time of study. They illustrate the issues one will face when coming up with sampling and optimisation techniques that are both unbiased in terms of construction of initial guesses and robust so that they can work well with numerical optimisers.
Cooperativity and localization are properties of the rearrangement pathways.
Rearrangement is called 'localized' if a small fraction of the atoms participates in it, and 'delocalized' in the opposite limit. Rearrangement is called 'cooperative' if most of the atoms that participate move simultaneously, and 'uncooperative' if atoms move sequentially.
Any pathway can be broken down into elementary (or single-step) rearrangement paths that feature no intermediate minima. Among single-step rearrangements, delocalized uncooperative ones are the most difficult to find. It turns out that cooperativity and barrier height are related: cooperative rearrangements have the smallest barriers.