A study was made to find out maximum partitioning of Bacillus licheniformis alkaline phosphatase in different ATPSs composed of different molecular weight of PEG X (X=2000, 4000, 6000) with salts (magnesium sulphate, sodium sulphate, sodium citrate) and polymers (dextran 40, dextran T500). Physicochemical factors such as effect of system pH, system temperature and production media were evaluate...

This paper presents a method to form micron-sized droplets in an aqueous two-phase system (ATPS) and to subsequently polymerize the droplets to produce hydrogel beads. Owing to the low interfacial tension in ATPS, droplets do not easily form spontaneously. We enforce the formation of drops by perturbing an otherwise stable jet that forms at the junction where the two aqueous streams meet. This ...

Growing applications of phenylalanine dehydrogenase (PheDH) enzyme in the medical and pharmaceutical industries encourages researchers to seek simple, fast and economical alternative purification methods. With goal of finding a new technique, the extraction and purification of recombinant Bacillus badius PheDH in polyethylene glycol 6000 (PEG-6000) and ammonium sulfate aqueous two-phase systems...

Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie v...

Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Für diese Tagung sind alle Programmierparadigmen und deren Sprachen von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenläufige Progra...

Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), automatic theorem provers (ATPs) and repositories of geometric problems (RGP). With the integration of those tools in a given learning management system (LMS), we can build an environment where the student is able to explore the built-in knowledg...

Aqueous two-phase systems (ATPS) based on ionic liquids (IL) and deep eutectic solvents (DES) are ecofriendly choices can be used to selectively separate compounds of interest, such as bioactive compounds. Bioactive nutrients nonnutrients animal, plant, microbial origin that benefit the human body in addition their classic nutritional properties. They also for technical purposes food active com...

SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suffices for the construction of types for type checking and for the specification of arbitrary logics. Compilation techniques derived from both functional and logic programming are used to derive high-performance ATPs fro...

This paper gives an overview of the existing link between the Mizar project for formalization of mathematics and Automated Reasoning tools (mainly the Automated Theorem Provers (ATPs)). It explains the motivation for this work, gives an overview of the translation method, discusses the projects and works that are based on it, and possible future projects and directions.

ATP-dependent chromatin remodeling enzymes, such as SWI/SNF, hydrolyze thousands of ATPs to regulate gene expression on chromatin fibers. Recent mechanistic studies suggest that these enzymes generate localized changes in DNA topology that drive formation of multiple, remodeled nucleosomal states.