In [17], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modularity. The proof of this beautiful modularity result, technically based on slicing terms into an homogeneous cap and a so called alien, possibly heterogeneous substitution, was later substantially simplified in [7, 9]....

This presentation discusses the use of an interval analysis based global optimization approach for the systematic design of cleaning solvent blends (commonly referred to as blanket washes) for lithographic printing. The simultaneous consideration of associated process constraints, property requirements, and environmental restrictions makes the blanket wash design a rather difficult problem. To ...

Oil-water separation has recently become a global challenging task because of the frequent occurrence of oil spill accidents due to the offshore oil production and transportation, and there is an increasing demand for the development of effective and inexpensive approaches for the cleaning-up of the oily pollution in water system. In this study, a self-cleaning underwater superoleophobic mesh t...

This paper investigates the surface film adsorption and lubricity of two different types of potential environmentally friendly cold metal forming lubricants: soybean vegetable oil in water VO/W emulsions and triblock copolymer aqueous solutions. The lubricants have different visual appearance, surface film adsorption characteristic, lubricity and surface cleaning behaviour. The effects of conce...

According to the research reports from the FM (Factory Mutual) Insurance Company, for the past two decades most of the incidents that occurred in semiconductor plants were identified as “Fire Cases.” These reports claimed the fires in Wet Chemical Cleaning Processes were mainly caused by heater failure, yet, based on the process conditions, a heater is designed to shut down automatically when t...