نتایج جستجو برای: second order kinetics
تعداد نتایج: 1487738 فیلتر نتایج به سال:
Abstract We introduce Hyper 2 LTL, a temporal logic for the specification of hyperproperties that allows second-order quantification over sets traces. Unlike first-order logics hyperproperties, such as HyperLTL, LTL can express complex epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties. The model checking problem is, in general, undecidable. ...
Background & Aims of the Study: Nitrogenous compounds could directly create many problems for human's health and the environment. Thus, removal of nitrogenous compounds is necessary. Among the most important problems, decreasing dissolved oxygen, toxicity for aquatics, eutrophication, converting aerobic medium into anaerobic one and corrosion could be noted. The aim of this stu...
The present study seeks to investigate the capacity of polyaniline/titanium dioxide (PAn/TiO2) and Polypyrrole/titanium dioxide (PPy/TiO2) nano-adsorbents to adsorb Congo red anionic dye (CR) from aqueous solution. The variables effective in CR adsorption, including adsorbent dose, pH of the solution, contact time, initial dye concentration, and temperature were examined. The study yielded the ...
Background and purpose: Lead is a toxic heavy metal that is considered major environmental contaminants and all its compounds are important in terms of toxicity in humans. So, the aim of this study was to _____the efficiency survey of pumice powder to lead removal from the aquatic environment. Material and Methods: In the beginning of this study, the powdered form of pumice was prepared, then ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید