Homogeneous and transparent CNF films, fabricated from the (2,2,6,6tetramethylpiperidin-1-yl) oxyl (TEMPO)-modified CNF suspension, were laminated onto wood flakes (WF) based on phenol-formaldehyde (PF) resin and the reinforcement potential of the material has been investigated. The focus was on the influence of CNF film lamination, relative humidity (RH), heat treatment, and anisotropic proper...

Core/shell nanostructured carbon materials with carbon nanofiber (CNF) as the core and a nitrogen (N)-doped graphitic layer as the shell were synthesized by pyrolysis of CNF/polyaniline (CNF/PANI) composites prepared by in situ polymerization of aniline on CNFs. High-resolution transmission electron microscopy (TEM), X-ray diffraction (XRD), Fourier transform infrared and Raman analyses indicat...

We examined the relationship between serotype and cytotoxic necrotizing factor (CNF) production in 123 hemolytic strains of Escherichia coli isolated from both stools and extraintestinal infections. Of 76 strains producing both hemolysin (Hly) and CNF, 66 (87%) belonged to one of six serogroups (O2, O4, O6, O22, O75, and O83). In contrast, 47 E. coli strains producing Hly only belonged to 21 di...

Quantified Boolean Formulas (QBFs) present the next big challenge for automated propositional reasoning. Not surprisingly, most of the present day QBF solvers are extensions of successful propositional satisfiability algorithms (SAT solvers). They directly integrate the lessons learned from SAT research, thus avoiding re-inventing the wheel. In particular, they use the standard conjunctive norm...

Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessing, and search. It is often argued that by encoding arbitrary Boolean formulas in conjunctive normal form (CNF), structural properties of the original problem are not reflected in the CNF. This should result in the fact...

We show how to construct a non-2-colorable k-uniform hypergraph with (2) edges. By the duality of hypergraphs and monotone CNF-formulas this gives an unsatisfiable monotone k-CNF with (2) clauses.

In this study, a simple strategy to fabricate the cellulose aerogel with homogeneous porous structure and good compression strength properties has been demonstrated. The was simply prepared by adding styrene acrylic emulsion (SAE) TEMPO-oxidized nanofibrils (CNF), followed freeze-drying oven-heating, in which covalent bond between CNF SAE confirmed FT-IR. Meanwhile, regulation process of aeroge...

A novel biobased porous aerogel was synthesized using physical mixing, freeze-drying, and in-situ growth methods. Zeolitic imidazolate frameworks-8 (ZIF-8) were grafted onto the surface of CS/CNF solid composite to form a ZIF-8@CS/CNF aerogel. The structural characteristics adsorption potential investigated. It found that specific area 206 m2/g, water stability CNF enhanced by incorporating CS....

Alkaline metal-air batteries are unique systems for energy storage. These devices require a bifunctional catalyst in the positive electrode that must perform both oxygen evolution and reduction reactions (OER ORR, respectively). Generally, cobalt-based oxides employed as air electrodes; however, cobalt is critical raw material. Future battery will mandatorily need non-critical materials based o...

Canagliflozin (CNF) and dapagliflozin (DPF) are the first sodium-glucose cotransporter 2 inhibitors to be approved for clinical use. Although available evidence excludes clinically significant inhibition of cytochromes P450, the effects of CNF and DPF on human UDP-glucuronosyltransferase (UGT) enzymes are unknown. Here, we report the inhibition of human recombinant UGTs by CNF and DPF, along wi...