in this study, the removal of as (v) from water resources by using aluminum-coated pumice as a new adsorbent was assessed. the features of the adsorbent coating layer were observed by x-ray diffraction (xrd) and scanning electron microscopy (sem).the effects of various parameters such as adsorbent doses, ph, contact time, arsenate initial concentration and interfering ions in arsenic adsorpt...

in this study, the removal of as (v) from water resources by using aluminum-coated pumice as a new adsorbent was assessed. the features of the adsorbent coating layer were observed by x-ray diffraction (xrd) and scanning electron microscopy (sem).the effects of various parameters such as adsorbent doses, ph, contact time, arsenate initial concentration and interfering ions in arsenic adsorption...

introduction: discharging of industrial colored wastewaters especially into aqueous environments can cause adverse effects on aquatic life due to their toxic natures. in this study, montmorillonite modified by hexadecyltrimethyl ammonium bromide (hdtma-mt) was used for the adsorption of methylene blue (mb). materials and methods: the influence of surfactant loading rate, contact time, ph, adsor...

This paper provides formal semantics for an extension of the ObjectRole Modeling approach that supports declaration of dynamic rules. Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper we restrict application of dynamic rules to so-called single-step transactions, with an old state (the input of the transa...

Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such as of the λ-binder of the lambda-calculus or the ∀binder of first-order logic. It also allows us to finitely axiomatise arithmetic, and similarly to axiomatise ‘nominal’ datatypes-with-binding. Just like ...

We propose a language which can express every computable query. The language is syntactically based on the first-order predicate calculus, but semantically is interpreted as post-conditions, unlike the customary calculus query languages. The language has a capability to restrict itself to reasonable queries, accepting criteria of reasonability as a parameter.

Let / be any fixed positive integer and a a sentence in the first-order predicate calculus of/unary functions. For positive integers n, an «-structure is a model with universe {0,1,...,« 1} and/unary functions, and p(n,a) is the ratio of the number of «-structures satisfying a to n"f, the number of «-structures. We show that lim„_00/i(«, a) exists for all such a, and its value is given by an ex...

We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased...

Removal of Cu(II) from aqueous solution supplies is possible through the process of adsorption. One of these processes involves the preparation of magnetic nanoparticles on activated carbon (AC). Adsorbed coppre ions on the surface of Fe3O4-AC are separated from aqueous solutions using external magnetic fields. In the present study, magnetic nanoparticles were synthesized ...