Nanostructured photoanodes were prepared via a novel combination of titanium dioxide (TiO2) nanoparticles and mesoporous carbon (C). Four different photoanodes were synthesized by sol-gel spin coating onto a glassy substrate of fluorine-doped tin oxide. The photocatalytic activities of TiO2, TiO2/C/TiO2, TiO2/C/C/TiO2, and TiO2/C/TiO2/C/TiO2 photoanodes were evaluated by exposing the synthesize...

Precise modeling of radio propagation is necessary for experiencing the benefits of wireless technology for indoor environments. Among many modeling techniques, the ray tracing based prediction models become popular for indoor wireless radio propagation characterization. Though the ray tracing models are popular, their key deficiency is the slower performance. In this paper, an accelerated tech...

In this paper we present FZQSAT, which is an algorithm for evaluating quantified Boolean formulas presented in negation normal form (NNF). QBF is a language that extends propositional logic in such a way that many advanced forms of verification, such as bounded model checking, can be easily formulated and evaluated. FZQSAT is based on ZDD which is a variant of BDD, and is an adopted version of ...

Polypropylene (PP) meltblown fibers were coated with titanium dioxide (TiO2) nanoparticles using layer-by-layer (LbL) deposition technique. The fibers were first modified with 3 layers of poly(4-styrenesulfonic acid) (PSS) and poly(diallyl-dimethylammonium chloride) (PDADMAC) to improve the anchoring of the TiO2 nanoparticle clusters. PDADMAC, which is positively charged, was then used as count...

It is well known that clinical bleaching can be achieved with a solution of 30% hydrogen peroxide (H2O2) or H2O2/titanium dioxide (TiO2) combination. This study examined the hypothesis that TiO2 coated with hydroxyapatite (HAp-TiO2) can generate reactive oxygen species (ROS). ROS are generated via photocatalysis using electron spin resonance (ESR). The bleaching properties of HAp-TiO2 in the pr...

Xerogels consisting of SiO2 and TiO2 were explored for controlled release of brilliant blue FCF (BBF). Both SiO2 and SiO2–TiO2 xerogels were prepared by way of sol–gel processing, and the BBF release behavior was compared. SiO2–TiO2 xerogels with varying TiO2 content were also studied and the BBF release behavior was determined for each SiO2–TiO2 xerogel. It was found that the release of BBF fr...

This paper reports the structural and optical properties and comparative photocatalytic activity of TiO2 and Ag-doped TiO2 nanoparticles against different bacterial strains under visible-light irradiation. The TiO2 and Ag-doped TiO2 photocatalysts were synthesized by acid catalyzed sol-gel technique and characterized by X-ray diffraction (XRD), transmission electron microscopy (TEM), UV-vis spe...

N-Cu-activated carbon (AC)/TiO2 nanoparticles were prepared by the sol-gel technique through microwave irradiation to modify the visible-light response of TiO2. Their structure, surface chemical composition, and optical absorption properties were characterized. The results showed that the codoped particles had a higher surface area and smaller particle size than pure AC/TiO2 and monodoped AC/Ti...

Completeness proofs that generalize the Anderson-Bledsoe excess literal argument are developed for calculi other than resolution. A simple proof of the completeness of regular, connected tableaux for formulas in conjunctive normal form (CNF) is presented. These techniques also provide completeness results for some inference mechanisms that do not rely on clause form. In particular, the complete...