Proteins play crucial roles in almost every biological process. The function of a protein depends on the specific spatial shape that a protein takes in nature. The Protein Structure Prediction problem is to predict the tertiary structure of a protein from its amino acid sequence. Experimental methods (NMR spectroscopy and X-ray crystallography) are slow and expensive. There is an increasing gap between the number of existing protein sequences and that of the known protein structures. Computational methods have the potential to rapidly and effectively annotate these protein sequences.
The Wind Engineering, Energy and Environment (WindEEE) Dome, the world’s first hexagonal wind tunnel, represents a technological breakthrough in the study of wind-related phenomena as it has the capability of physically simulating high intensity wind systems – including tornados, downbursts, gust fronts or low-level nocturnal currents – that cannot be created in any of the existing wind tunnels.
The lack of central control in distributed systems makes the analysis and design of such systems a challenging task. In fact many faults are introduced into the system at this stage of the software development life cycle. Therefore discovering and removing design validation of distributed software systems prior to the implementation phase is greatly desirable as it results in huge savings in time and cost. An effective and efficient approach to describing the requirements of distributed systems is by using scenarios. Scenarios are commonly represented using message sequence charts or se