the current study presents synthesis and characterization of high impact polystyrene - tio2 nanoparticles mixed matrix membranes for separation of carbon dioxide from nitrogen. the solution-casting method was used for preparation of membranes. the nano mixed matrix membranes were characterized using scanning electron microscopy to ensure the suitable dispersion of nano particles in high impact ...

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

Introduction:  Parking areas that are gathering places for tank trucks are potentially dangerous places. This study analyzes accident consequences of oil products carriers, to check and compare the hazard radius with recommended separation distances. Methods: This descriptive-analytical study was carried out in 5 stages, including: scenario selection, determination of the accidents source para...

Effective parameters that can effect on the performance of the separation system consist of operating pressure, operating temperature, reflux ratio, and kind of produce desirable products and different sequences of splits. As take a separation system with optimal performance is dependent on optimization of above mentioned effective parameters. In generally, there are two criteria (as object fun...

Environments on the web should support high-level hypermedia features to improve their key challenges: searching, navigation, adaptation and maintenance of hyperdocuments. In this paper, we show the benefits of applying software evolution theory to Hypermedia Systems (HSs) and, in order to face these challenges we propose the Semantic and Evolutionary Model for HyPermedia systems (SEM-HP) model...

We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic like assertions and commands. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.

This paper extends the recent literature on spatial price differences within a country to provide evidence on the Australian experience during the past two decades. While much of the existing evidence on spatial price variation within a country relates to large heterogeneous countries such as Brazil, India and Indonesia, Australia has not figured so far in this literature, because it is presume...

Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd operating systems concepts policies and mechanisms that can be a new way to explore t...