Die Arbeitstagung Programmiersprachen (ATPS) ist eine jährlich stattfindende Veranstaltung der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik (GI). Sie dient dem Austausch zwischen Wissenschaftlern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Intere...

phenylalanine dehydrogenase (phedh; ec 1.4.1.20) is an important enzyme of amino acid dehydrogenases family that increasingly used as a valuable biocatalyst in neonatal screening kits and synthesis of l-phenylalanine. the goal of this literature was to find a suitable purification method for recombinant bacillus badius phedh by practical comparison between chromatographic and polyvinyl pyrrolid...

Soft foods like gels, which are often used as care foods, usually processed with the tongue (i.e, squeezing) by elderly consumers chewing difficulty. However, little is known about squeezing, especially relationship between individual function and squeezing behavior, such average pressure per cycle (ATPS) number of squeezes until swallowing. The aim this study was to evaluate behavior from both...

Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem provers (ATPs) such as Vampire and SPASS. An ATP is invoked at suitable points in the interactive session, and any proof found is given to the user in a window displaying an Isar proof script. There are numerous difference...

Aqueous Two-Phase Systems (ATPS) are aqueous droplets dispersed in an phase. This specific behavior arises from interactions between at least two water-soluble entities, such as thermodynamically incompatible polymers. A simple, fast, and “green” process to produce ATPS with core would be of high interest the pharmaceutical field for drug delivery. However, date, rapid destabilization represent...

State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians, the length and human unreadability of the automatically found proofs become a serious problem for the ATP users. One remedy is automated proof compression by invention of new definitions. We propose a new algorithm f...

Automated theorem provers (ATPs) are a key component that many software verification and program analysis tools rely on. However, the basic interface provided by ATPs (validity/satisfiability checking of formulas) has changed little over the years. We believe that program analysis clients would benefit greatly if theorem provers were to provide a richer set of operations. We describe our deside...

Surface properties of Streptomyces griseus cells, such as surface net charge and surface net hydrophobicity, were characterized by using the aqueous two-phase system (ATPS) method. It was found that the surface net charge of S. griseus cells was reduced after the POPC liposome-treatment of the cells at 41C. The surface net hydrophobicities of S. griseus cells and liposome-treated cells cultivat...

Native zinc/cobalt-containing ATP sulfurylase (ATPS; EC 2.7.7.4; MgATP:sulfate adenylyltransferase) from Desulfovibrio desulfuricans ATCC 27774 was purified to homogeneity and crystallized. The orthorhombic crystals diffracted to beyond 2.5 A resolution and the X-ray data collected should allow the determination of the structure of the zinc-bound form of this ATPS. Although previous biochemical...

phenylalanine dehydrogenase (phedh; ec 1.4.1.20) is an important enzyme of amino acid dehydrogenases family that increasingly used as a valuable biocatalyst in neonatal screening kits and synthesis of l-phenylalanine. the goal of this literature was to find a suitable purification method for recombinant bacillus badius phedh by practical comparison between chromatographic and polyvinyl pyrrolid...