A mathematical model is used to investigate the effectiveness of the chemotherapy drug Topotecan against neuroblastoma. Optimal control theory is applied to minimize the tumor volume and the amount of drug utilized. The model incorporates a state constraint that requires the level of circulating neutrophils (white blood cells that form an integral part of the immune system) to remain above an a...

Surface cleaning processes are needed in different life cycle phases of technical products. They are important elements in manufacturing and in maintenance during usage as well as in recycling and remanufacturing. To meet the increasing requirements in product durability and functionality, the usage of compound materials and functional coatings becomes over more important. In this regard surfac...

Harry Mulisch, De ontdekking van de hemel.

Article history: Received 8 December 2010 Received in revised form 18 May 2011 Accepted 19 May 2011 Available online 23 June 2011

The objective of this work was to present an overview abrasive technologies with solid carbon dioxide as a blasting medium. These methods can be successfully used for the removal wide range types industrial pollution. article covers literature reports in field examined cleaning mechanisms and manufacturing process dry ice, focusing on structure size product. Having correct understanding these p...

Blasting is an essential part of any mining or civil engineering project along with all the benefits that it brings, such as cost and time effectiveness, safety. Still, there are a few downsides to blasting. Ground oscillation velocity most significant impact blasting has been studied broadly. However, not measured values should be used for PPV (peak particle velocity) predictor model developme...

Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability of a logical formula, expressed in a combination of first-order theories. We present the architecture and selected features of Boolector, which is an efficient SMT solver for the quantifier-free theories of bit-vectors and arrays. It uses term rewriting, bit-blasting to handle bit-vectors, and lemmas on demand for ar...

Solids Liquids Gases/vapours Asbestos dust Sprayed droplets Ammonia Engine exhaust particles Paints Carbon monoxide Lead dust and fume Pesticides Carbon dioxide Silica dust Power coating mix Freon’s Welding fume Liquid jetting Helium Shot blasting dust Sewage water Nitrogen Wood dust Mercury vapour Smoke Mists Solvent vapours Fungal spores Chrome acid Engine exhaust gases Bacteria Cutting fluid...