The Helfrich theory of membrane bending, supported by molecular dynamics simulations, is a promising approach for evaluating ...

We develop and analyze methods for computing provably optimal maximum a posteriori probability (MAP) configurations for a subclass of Markov random fields defined on graphs with cycles. By decomposing ...

simulation emf pattern-matching model modeling gips ilp gt emoflon virtual-network-embedding pm integer-linear-programming graph-transformation mdse vne model-driven-software-engineering ...