Flexible composite films were produced by impregnating aqueous phenol formaldehyde (PF) resin into water-swollen cellulose nanofibril (CNF) films. CNF films were prepared using a pressurized filtration method in combination with freeze drying. The freeze-dried films were swollen with water then impregnated with PF resin by soaking in aqueous resin solutions of varying concentrations. Small amou...

We previously reported the preparation of a self-assembled chitin nanofiber (CNF) film via regeneration from an ion gel with an ionic liquid, followed by sonication and filtration. Based on the finding that CNFs were redispersed in a mixture of the film with ammonia aqueous solution (aq.), in this study, CNF-natural rubber (NR) composite sheets were fabricated by mixing redispersed CNF with NR ...

In this paper we first define a reduction Æ that transforms an instance of Regular-SAT into a satisfiability equivalent instance Æ of SAT. The reduction Æ has interesting properties: (i) the size of Æ is linear in the size of , (ii) Æ transforms regular Horn formulas into Horn formulas, and (iii) Æ transforms regular 2-CNF formulas into 2-CNF formulas. Second, we describe a new satisfiability t...

We consider the problem of dualizing a Boolean function f given by CNF, i.e., computing a CNF for its dual f. While this problem is not solvable in quasi-polynomial total time in general (unless SAT is solvable in quasi-polynomial time), it is so in case the input belongs to special classes, e.g., the class of bidual Horn CNF φ [9] (i.e., both φ and its dual φ represent Horn functions). In this...

BACKGROUND Nephrotic syndrome (NS) is pathological condition characterized by heavy proteinuria. Our study investigates hypothesis that change in cell proliferation of proximal tubules influences primary cilia structure and function and promotes cystogenesis in congenital nephrotic syndrome of the Finnish type (CNF) and focal segmental glomerulosclerosis (FSGS). METHODS CNF kidneys were analy...

Joint mechanical defibrillation was successfully used to downsize chitin micro-particles (CMP) into nanofibrils without changing its chemical or crystalline structure. The fine chitin nanofibrils (CNF) bearing width of about 50 nm and length of more than 1 μm were then developed as heavy metal ion sorbents. The uptake performance of CNF dependent on pH, ionic concentration, time, and temperatur...

Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas. However, some application problems involve lots of parity (xor) constraints which are not necessarily efficiently handled if translated into CNF. This paper studies solving CNF formulas augmented with xor-clauses in the DPLL(XOR) framework where a CDCL SAT solver is coupled...

We consider exact learning monotone CNF formulas in which each variable appears at most some constant k times (\read-k" monotone CNF). Let f : f0;1g n ! f0;1g be expressible as a read-k monotone CNF formula for some natural number k. We give an incremental output polynomial time algorithm for exact learning both the read-k CNF and (not necessarily read restricted) DNF descriptions of f. The alg...

SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the SAT solver technology, for example, perfecting heuristics for variable ordering, and (2) by inventing new ways of constructing simpler SAT problems, either using domain specific information during the translation from...

Unique properties of carbon nanofibers (CNF) depends on its microstructure and bulk morphology, which are governed by catalysts, carbon sources and synthesis conditions in the catalytic growth of CNF. Hence, exact understanding of the structure of CNF is important to achieve best performance of the CNF in practical applications. In a previous work [1], the present authors have proposed that the...