Protein separation and purification technologies play an essential role in various industries including but not limited to pharmaceuticals, dairy as well as the food sector. Accordingly, a wide variety of techniques such as chromatography and electrophoresis has been developed and utilized extensively over the years for this purpose. Despite their widespread acceptance, conventiona...

The kinds of models that are usually considered in separation logic are structures such as words, trees, and more generally pointer structures (heaps). In this paper we introduce the separation logic of much simpler structures, viz. sets. The models of our set separation logic are nothing but valuations of classical propositional logic. Separating a valuation V consists in splitting it up into ...

The technique to fabricate nanofibrous mat by electro-spinning has been known for a long time. But the attempts to use the electospun nanofiber mats, also known as electro-spun nanofiber membranes (ENMs), for filtration purposes began only recently. Among many membrane filtration processes, air cleaning by the removal of dust particles has already been commercialized and the product has been in...

the process of ethylene production from ethane dehydrogenation is one of the interesting processes in the field of conversion the petroleum light gases to the valuable products. in this process, the outlet gaseous product is a combination of ethylene, ethane and hydrogen. effective separation techniques are required for separation of ethylene from unreacted ethane. here a new adsorbent approach...

in concentration of hydrogen peroxide, first, the solution should be quite pure, and then, it concentrate with methods such as vacuum distillation and cooling crystallization, because impurities in the hydrogen peroxide solution in high concentrations are causing decomposition of this substance; that is very dangerous. the purpose of this article is separation of chromium and magnesium cations ...

fracture of the proximal humerus associated with vascular injury has rarely been reported in children, and only two cases have been reported in the literature. in adults this combination has been reported more frequently. we present the case of a 14 year old boy with proximal humeral epiphyseal separation and axillary artery injury.

Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Concurrent Separation Logic and in mechanizing proofs of its soundness, we found previous axiomatizations of separation algebras and previous systems of share accounting to be useful but imperfect. We adjust the axioms of...

Separation and localisation of P300 sources and their constituent subcomponents for both visual and audio stimulations is investigated in this paper. An effective constrained blind source separation (CBSS) algorithm is developed for this purpose. The algorithm is an extension of the Infomax BSS system for which a measure of distance between a carefully measured P300 and the estimated sources is...

We present a multiple antenna system for industrial, scientific, and medical (ISM)-band transmission (MASI). The hardware demonstrator was developed and realized at our institute. It enables multiple-input multiple-output (MIMO)-communication applications and is capable of transmiting arbitrary signals using 8 transmit and 8 receive antennas in parallel. It operates in the 2.4GHz ISM-band. The ...