Cornelia Pusch

Learn More
Relying on a derivation of the Warren Abstract Machine (WAM) by stepwise reenement of Prolog models by BB orger and Rosen-zweig we present a formalization of an operational semantics for Prolog. Then we develop four reenement steps towards the Warren Abstract Machine (WAM). The correctness and completeness proofs for each step have been elaborated with the(More)
Trefoil peptides belong to a family of small secretory proteins characterised by three intrachain disulfide bonds forming the trefoil motif (TFF-domain). They serve to maintain or repair the epithelial mucosa, and promote cell migration. They are predominantly found in gastrointestinal tissues, and are upregulated around areas of epithelial damage, and in(More)
Relying on a derivation of the Warren Abstract Machine WAM by stepwise re nement of Prolog models by B orger and Rosen zweig we present a formalization of an operational semantics for Prolog Then we develop four re nement steps towards the Warren Abstract Machine WAM The correctness and completeness proofs for each step have been elaborated with the theorem(More)
Two formalizations of AVL trees with room for extensions. The first formalization is monolithic and shorter, the second one in two stages, longer and a bit simpler. The final implementation is the same. If you are interested in developing this further, please contact <gerwin.klein@nicta.com.au>.
Fifty cosmids from the ICRF, London, and Lawrence Livermore Laboratory, California, human chromosome 22 cosmid libraries were isolated, regionally assigned and tested for their ability to detect repeats or single copy sequences. The search resulted in nine cosmids containing repetitive motifs from the pericentric region of chromosome 22. An additional 19(More)