Despite the fact that ionic liquid-based aqueous two phase systems (ATPSs) have been widely studied for extraction purposes, the adequacy of biodegradable organic salts as salting out agents has been left unexploited. In this study, we investigated the ability of sodium-based organic salts in the formation of ATPS in the presence of a common ionic liquid, [C4mim]BF4. In the pioneering aspect of...

The surface properties of transfer RNA (tRNA) were analyzed using a poly(ethylene glycol)/dextran aqueous two-phase system (ATPS), where the surface net hydrophobicity (HFS) and the local hydrophobicity (LH) were evaluated based on the partition coefficient of tRNA in the ATPS. According to the evaluated HFS values, the surface of the tRNA molecule was hydrophilic at 20° -40 °C, and it became h...

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...

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...

This work aimed to study the partitioning of a lipase produced by Burkholderia cepacia in PEG/Phosphate aqueous two phase system (ATPS) and its characterization. Lipase was produced by B. cepacia strains in a fermenter. Enzyme partitioning occurred at pH 6.0 and 8.0, using PEG 1500 and 6000 on two tie lines. Metal ions, pH and temperature effects on enzyme activity were evaluated. Five millilit...

The use of biodegradable material such as simple carbohydrates and recyclable material such as thermo-sensitive polymers is in need to develop a sustainable aqueous two-phase system (ATPS) for the purification of biomolecules. Accurate determination of sucrose concentration is important in liquid-liquid equilibrium (LLE) study of carbohydrate-based ATPS. The well-established phenol-sulfuric aci...

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...

The topic of the round table being very broad, it was agreed with the participants that the discussion should be focused on autologous cell therapy (CT) used in tissue repair, immunomodulation or gene transduction. Autologous CT is actually comprised of both very innovative procedures as well as of products used in routine clinical practice. In France, the regulatory framework for CT has now be...