Related Experiment Video
Updated: Oct 16, 2025

A Protocol for Computer-Based Protein Structure and Function Prediction
Published on: November 3, 2011
A Probabilistic Programming Approach to Protein Structure Superposition
Lys Sanz Moreta1, Ahmad Salim Al-Sibahi2, Douglas Theobald3
1Department of Computer Science. University of Copenhagen, Denmark.
Abstract:
Optimal superposition of protein structures or other biological molecules is crucial for understanding their structure, function, dynamics and evolution. Here, we investigate the use of probabilistic programming to superimpose protein structures guided by a Bayesian model. Our model THESEUS-PP is based on the THESEUS model, a probabilistic model of protein superposition based on rotation, translation and perturbation of an underlying, latent mean structure. The model was implemented in the probabilistic programming language Pyro. Unlike conventional methods that minimize the sum of the squared distances, THESEUS takes into account correlated atom positions and heteroscedasticity (ie. atom positions can feature different variances). THESEUS performs maximum likelihood estimation using iterative expectation-maximization. In contrast, THESEUS-PP allows automated maximum a-posteriori (MAP) estimation using suitable priors over rotation, translation, variances and latent mean structure. The results indicate that probabilistic programming is a powerful new paradigm for the formulation of Bayesian probabilistic models concerning biomolecular structure. Specifically, we envision the use of the THESEUS-PP model as a suitable error model or likelihood in Bayesian protein structure prediction using deep probabilistic programming.
Related Concept Videos
Protein Organization
The primary structure of a protein is its amino acid sequence....
Conservation of Protein Domains Over Different Proteins
A limited set of protein domains often duplicate and recombine during evolution. These domains can be organized in different combinations to...
Protein and Protein Structure
A protein's shape is critical to its function. For example, an enzyme...
Protein-protein Interfaces
Protein Folding
Protein and Protein Structures

