A methodology for measuring the readability and modifiability of computer programs

This paper describes an experimentally based methodology for investigating how the readability and modifiability of computer programs can be expressed in terms of programming style.As one part of the methodology three different measures of the readability and modifiability of a program are established. The measures are obtained by human gradings or scores. As another part these measures are related to computer-evaluable programming style characteristics. The result is a formula yielding the readability and modifiability as a function of measurable program characteristics.In testing the methodology one experiment provided a formula of readability containing six computer-evaluable programming style characteristics. A further experiment indicated that the general validity of this formula of program readability needs further investigation.     

Renormalization Proof for Massive $$\phi_4^4$$ Theory on Riemannian Manifolds

In this paper we present an inductive renormalizability proof for massive theory on Riemannian manifolds, based on the Wegner-Wilson flow equations of the Wilson renormalization group, adapted to perturbation theory. The proof goes in hand with bounds on the perturbative Schwinger functions which imply tree decay between their position arguments. An essential prerequisite is precise bounds on the short and long distance behaviour of the heat kernel on the manifold. With the aid of a regularity assumption (often taken for granted) we also show that for suitable renormalization conditions the bare action takes the minimal form, that is to say, there appear the same counterterms as in flat space, apart from a logarithmically divergent one which is proportional to the scalar curvature.     

Classifying substrate specificities of membrane transporters from Arabidopsis thaliana

Membrane transporters catalyze the active transport of molecules across biological barriers such as lipid bilayer membranes. Currently, the experimental annotation of which proteins transport which substrates is far from complete and will likely remain so for much longer. Therefore, it is highly desirable to develop computational methods that may aid in the substrate annotation of putative membrane transport proteins. Here, we measured the similarity of membrane transporters from Arabidopsis thaliana by their amino acid composition, higher sequence order information, amino acid characteristics, or sequence conservation. We considered the substrate classes amino acids, oligopeptides, phosphates, and hexoses. Substrate classification based on the amino acid frequency yielded an accuracy of 75% or higher. Integrating additional information improved the prediction performance to 90% and higher.     

Femtosecond laser pulse control of multidimensional vibrational dynamics: Computational studies on the pyrazine molecule

The multiconfiguration time-dependent Hartree (MCTDH) method is combined with the optimal control theory (OCT) to study femtosecond laser pulse control of multidimensional vibrational dynamics. Simulations are presented for the widely discussed three-electronic-level vibronic coupling model of pyrazine either in a three or four vibrational coordinate version. Thus, for the first time OCT is applied to a four-coordinate system. Different control tasks are investigated and also some general aspects of the OCT-MCTDH method combination are analyzed.