Susanne Neubert

Learn More
EPTD Discussion Papers contain preliminary material and research results, and are circulated prior to a full peer review in order to stimulate discussion and critical comment. It is expected that most Discussion Papers will eventually be published in some other form, and that their content may also be revised. ACKNOWLEDGMENTS The authors would like to thank(More)
The endosomal sorting complexes required for transport (ESCRT) guides transmembrane proteins to domains that bud away from the cytoplasm. The ESCRT machinery consists of four complexes. ESCRT complexes 0-II are important for cargo recognition and concentration via ubiquitin binding. Most of the membrane bending function is mediated by the large multimeric(More)
The paper describes a specification approach for knowledge-based systems (kbs) combining semiformal and formal specification techniques. The semiformal knowledge representation uses a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer. This representation is also the basis for the formalization process(More)