Susanne Neubert

Learn 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)
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)
  • 1