A Boolean formula in conjunctive normal form (CNF) is called matched if the system of sets of variables which appear in individual clauses has a system of distinct representatives. Each matched CNF is trivially satisfiable (each clause can be satisfied by its representative variable). Another property which is easy to see, is that the class of matched CNFs is not closed under partial assignment...

SAT-based ATPG has proven to be a beneficial complement to traditional ATPG techniques. The generation of a CNF-representation is a vital issue in SAT-based test pattern generation. Firstly, the generation of the problem instances for SAT-based ATPG requires a significant portion of the overall runtime. Secondly, the performance of the SAT solver strongly depends on the properties of the result...

We adopt in this paper the newly developed composite nonlinear feedback (CNF) control method to track general target references for systems with input saturation. The original formulation of the CNF control technique is only applicable to set-point tracking, in which the target reference is set to be a constant. In this paper, a reference generator, which is able to produce more general referen...

Recent algorithms for model counting and compilation work by decomposing a CNF into syntactically independent components through variable splitting, and then solving the components recursively and independently. In this paper, we observe that syntactic component analysis can miss decomposition opportunities because the syntax may hide existing semantic independence, leading to unnecessary varia...

A variety of nanocomposites were prepared using lignin-cellulose nanofibers (L-CNF) and poly(lactic acid) (PLA) via a solvent casting process. Acid hydrolysis and high-pressure homogenization processes were used to produce L-CNF from unbleached kraft pulps. Tensile tests were conducted on thin films, and the nanocomposites containing 3 wt. % L-CNF showed a 32.4% increase in tensile strength com...

During the last decade, an active line of research in proof complexity has been to study space complexity and timespace trade-offs for proofs. Besides being a natural complexity measure of intrinsic interest, space is also an important issue in SAT solving. For the polynomial calculus proof system, the only previously known space lower bound is for CNF formulas of unbounded width in [Alekhnovic...

Canagliflozin (CNF) and dapagliflozin (DPF) are the first sodiumglucose 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 wit...

In this study, a catalyst was synthesized on carbon nanofibers [CNFs] with a herringbone-type morphology. The Pt/CNF catalyst exhibited low hydrophilicity, low surface area, high dispersion, and high graphitic behavior on physical analysis. Electrodes (5 cm2) were prepared by a spray method, and the durability of the Pt/CNF was evaluated by fuel starvation. The performance was compared with a c...

Cellulose nanofibrils (CNF) were incorporated in water-in-oil (W/O) microemulsions and emulsions, as well as water-in-oil-in-water (W/O/W) multiple emulsions using soybean oil. The addition of CNF to the aqueous phase expanded the composition range to obtain W/O/W emulsions. CNF also increased the viscosity of the continuous phase and reduced the drop size both of which increased the stability ...

Single carbon nanofibers (CNFs) grown on the tips of scanning probe microscopy (SPM) cantilevers by Arþ irradiation attract much attention, because of their potential in the batch fabrication of CNF probes. Here, we first revealed their mechanical characteristics. An excellent flexibility of CNF probes was confirmed by hard-contact examination (force-curve measurement) in which the cantilever w...