The efficient large-scale recycling of plastic waste is of increasing interest from an ecological and economic point of view but it represents a goal that has yet to be achieved by the recycling industry. European project W2Plastics (FP7) aims at a fundamental change of the present status of plastics recycling by applying the Magnetic Density Separation (MDS) technology as well as the Ultrasoun...

Paleocene and  Lower Eocene deposits in SW Iran are known as Pabdeh formation.Pabdeh formation is one of the most important lithostratigraphy unit as source rock has been deposited in Zagros basin over an extremely long period in time. The area under research is the Ghachsaran 55 subsurface Section located  from the Ghachsaran oil field in Dezful embeyment in zagros fold zone. The Lower boundry...

Enriched stable isotopes of many elements have been widely used in many aspects and such isotopes have been primarily used as the tracer for agricultural and biochemical studies and the availability of the isotopically labeled compounds have been now extensively increasing. Chemical exchange separation of isotopes is based on the equilibrium fractionation of isotopes between two phases, ion exc...

We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike the traditional synchronization primitives used in concurrent separation logic (locks and critical sections), Pthreads barriers e...

Objectives: To compare efficacy of intramyometrial oxytocin vs intravenous oxytocin infusion in reducing blood loss during cesarean section. Materials and methods: A prospective randomized controlled trial of 150 women undergoing cesarean section was done. Women undergoing cesarean section were randomly divided into three groups according to method of administration of oxytocin. In group I (n =...

In this article, we provide an overview on how the maximum weighted stable set problem can be solved exactly with Branch & Cut techniques. In addition, we provide selected references to other exact methods. We start with a brief introduction of the stable set problem and a few basic definitions but assuming that the reader is already familiar with the basic concepts. The main stress of this art...