The non-monotone dualization (NMD) is one of the most essential tasks required for finding hypotheses in various ILP settings, like learning from entailment [1, 2] and learning from interpretations [3]. Its task is to generate an irredundant prime CNF formula ψ of the dual f where f is a general Boolean function represented by CNF [4]. The DNF formula φ of f is easily obtained by De Morgan’s la...

This study focuses on the design, fabrication, microstructural and property characterization, and biocompatibility evaluation of polypropylene (PP) reinforced with carbon nanofiber (CNF) and hydroxyapatite nanorod (HANR) fillers. The purpose is to develop advanced PP/CNF-HANR hybrids with good mechanical behavior, thermal stability, and excellent biocompatibility for use as craniofacial implant...

We present and evaluate a new CNF encoding scheme for reducing probabilistic inference from a graphical model to weighted model counting. This new encoding scheme elaborates on the CNF encoding scheme ENC4 introduced by Chavira and Darwiche, and improves it by taking advantage of log encodings of the elementary variable/value assignments and of the implicit encoding of the most frequent probabi...

Conjunctive Normal Form (CNF) Boolean formulas generated from resolution or solution enumeration often have much redundancy. It is desirable to have an efficient algorithm to simplify and compact such CNF formulas on the fly. Given a clause in a CNF formula, if a subset of its literals constitutes another clause in the formula, then the first clause is said to be subsumed by the second clause. ...

A critical issue for maintaining long-term applications of polymer electrolyte fuel cells (PEFCs) is the development of an innovative technique for the functionalization of a carbon support that preserves their exceptional electrical conductivity and robustly enriches their durability. Here, we report for the first time how the formation of a partially coated, ultrathin, hydrophobic silica laye...

A great challenge hindering the use of cellulose nanofibers (CNF) as a reinforcing filler in bio-based polymeric matrices are their poor chemical compatibility. This is because inherent hydrophilic nature CNF and hydrophobic matrix. In this study, laminates were prepared by using acetate butyrate (CAB) polymer To improve compatibility between CAB CNF, residual hydroxyl groups on surface cross-l...

Model-counting is the #P problem of counting the number of satisfying solutions of a given propositional formula. Here we focus on a restricted variant of this problem, where the input formula is monotone (i.e., there are no negations). A monotone Conjunctive Normal Form (CNF) formula is sufficient for modeling various graph problems, e.g., the vertex covers of a graph. Even for this restricted...

Constraint “at most one” is a basic cardinality constraint which requires that at most one of its n boolean inputs is set to 1. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are esp...

Spinning of cellulose nanofibrils (CNF) offers promising opportunities to develop renewable fibers and filaments with strong, aligned structure. This review introduces recent findings on the relationship between the properties of CNF hydrogels, the spinning conditions and the performance of filaments obtained by dryand wet-spinning. For example, the filament Young’s modulus correlates with CNF ...

Single-walled carbon nanotube (SWCNT) and multi-walled carbon nanotube (MWCNT) membranes (buckypaper) and carbon nanofiber (CNF) paper were incorporated onto the surface of epoxy carbon fiber composites, as proposed fire shields. Their flammability behaviors were investigated by a cone calorimeter. SWCNT buckypaper and CNF paper did not show notable improvement on fire retardancy. However, MWCN...