325 research outputs found

    A detailed description of two controlled experiments concerning the usefulness of assertions as a means for programming

    Get PDF
    Assertions or more generally "Programming by contract" have gained widespread acceptance in the computer science community as a means for correct program development. However, the literature lacks an empirically evaluation of the benefits a programmer gains by using assertions in his software development. This paper reports about two controlled experiments to close this gap. Both experiments compared "Programming by contract" to the traditional programming style without assertions. The evaluation suggests that assertions tend to decrease the programming effort and that assertions lead to more reliable programs compared to those programs written without using them

    The TOM core complex: the general protein import pore of the outer membrane of mitochondria

    Get PDF
    Abstract: Translocation of nuclear-encoded preproteins across the outer membrane of mitochondria is mediated by the multicomponent transmembrane TOM complex. We have isolated the TOM core complex of Neurospora crassa by removing the receptors Tom70 and Tom20 from the isolated TOM holo complex by treatment with the detergent dodecyl maltoside. It consists of Tom40, Tom22, and the small Tom components, Tom6 and Tom7. This core complex was also purified directly from mitochondria after solubilization with dodecyl maltoside. The TOM core complex has the characteristics of the general insertion pore; it contains high-conductance channels and binds preprotein in a targeting sequence-dependent manner. It forms a double ring structure that, in contrast to the hole complex, lacks the third density seen in the latter particles. Three-dimensional reconstruction by electron tomography exhibits two open pores traversing the complex with a diameter of similar to 2.1 nm and a height of similar to 7 nm. Tom40 is the key structural element of the TOM core complex

    Recent Developments of an Opto-Electronic THz Spectrometer for High-Resolution Spectroscopy

    Get PDF
    A review is provided of sources and detectors that can be employed in the THz range before the description of an opto-electronic source of monochromatic THz radiation. The realized spectrometer has been applied to gas phase spectroscopy. Air-broadening coefficients of HCN are determined and the insensitivity of this technique to aerosols is demonstrated by the analysis of cigarette smoke. A multiple pass sample cell has been used to obtain a sensitivity improvement allowing transitions of the volatile organic compounds to be observed. A solution to the frequency metrology is presented and promises to yield accurate molecular line center measurements

    Compression-based Modelling of Musical Similarity Perception

    Get PDF
    Similarity is an important concept in music cognition research since the similarity between (parts of) musical pieces determines perception of stylistic categories and structural relationships between parts of musical works. The purpose of the present research is to develop and test models of musical similarity perception inspired by a transformational approach which conceives of similarity between two perceptual objects in terms of the complexity of the cognitive operations required to transform the representation of the first object into that of the second, a process which has been formulated in informationtheoretic terms. Specifically, computational simulations are developed based on compression distance in which a probabilistic model is trained on one piece of music and then used to predict, or compress, the notes in a second piece. The more predictable the second piece according to the model, the more efficiently it can be encoded and the greater the similarity between the two pieces. The present research extends an existing information-theoretic model of auditory expectation (IDyOM) to compute compression distances varying in symmetry and normalisation using high-level symbolic features representing aspects of pitch and rhythmic structure. Comparing these compression distances with listeners’ similarity ratings between pairs of melodies collected in three experiments demonstrates that the compression-based model provides a good fit to the data and allows the identification of representations, model parameters and compression-based metrics that best account for musical similarity perception. The compression-based model also shows comparable performance to the best-performing algorithms on the MIREX 2005 melodic similarity task

    Survey of large protein complexes D. vulgaris reveals great structural diversity

    Get PDF
    An unbiased survey has been made of the stable, most abundant multi-protein complexes in Desulfovibrio vulgaris Hildenborough (DvH) that are larger than Mr {approx} 400 k. The quaternary structures for 8 of the 16 complexes purified during this work were determined by single-particle reconstruction of negatively stained specimens, a success rate {approx}10 times greater than that of previous 'proteomic' screens. In addition, the subunit compositions and stoichiometries of the remaining complexes were determined by biochemical methods. Our data show that the structures of only two of these large complexes, out of the 13 in this set that have recognizable functions, can be modeled with confidence based on the structures of known homologs. These results indicate that there is significantly greater variability in the way that homologous prokaryotic macromolecular complexes are assembled than has generally been appreciated. As a consequence, we suggest that relying solely on previously determined quaternary structures for homologous proteins may not be sufficient to properly understand their role in another cell of interest
    corecore