Heterojunction system has been proved as one of the best architectures for photocatalyst owing to extending specific surface area, expanding spectral response range, and increasing photoinduced charges generation, separation, and transmission, which can provide better light absorption range and higher reaction site. In this paper, Indium Sulfide/Flexible Electrospun Carbon Nanofiber (In2S3/CNF)...

Near-field electrospinning has been demonstrated to be able to achieve direct-write and highly aligned chitosan nanofibers (CNF) with prescribed positioning density. Cell spreading in preferential direction could be observed on parallel-aligned nanofibers, and the CNF patterns were capable of guiding cell extension when the distances between them are 20 and 100 μm, respectively. Alignment of th...

The DPLL procedure has found great success in SAT, where search terminates on the first solution discovered. We show that this procedure is equally promising in a problem where exhaustive search is used, given that it is augmented with appropriate caching. Specifically, we propose two DPLL-based algorithms that construct OBDDs for CNF formulas. These algorithms have a worst-case complexity that...

The relationship between the complexity classes P and NP is an unsolved question in the field of theoretical computer science. In this paper, we investigate a descriptor approach based on lattice properties. In a previous paper, we tried to prove that neither P 6= NP nor P = NP was “unprovable” within the a-temporal framework of Mathematics. See [4]. A part of the proof about the impossibility ...

Li metal with high-energy density is considered as the most promising anode for next-generation rechargeable batteries; however, growth of dendrites seriously hinders its practical application. Herein, 3D free-standing carbon nanofibers modified by lithiophilic particles (CNF/Me, Me=Sn, Fe, Co) are obtained in situ electrospinning method. Benefiting from lithophilicity, CNF/Me composite may eff...

The development of highly efficient catalysts using inexpensive and earth-abundant metals is a crucial factor in large-scale commercialization direct methanol fuel cells (DMFCs). In this study, we explored new catalyst based on copper nanodendrites (CuNDs) supported carbon nanofibers/poly (para-phenylenediamine) (CNF/PpPD) nanocomposite for oxidation reaction (MOR). support was prepared paste e...

CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementations, CNF-BCP requires clausal form transformation that sometimes leads to an exponential increase in the size of a theory. We present a new quadratic-time reasoner, RFP, that infers exactly the same literals as CNF-B...

Carbon nanofibres (CNF) were dispersed into an epoxy resin using a combination of ultrasonication and mechanical mixing. The electronic transport properties of the resulting composites were investigated by means of impedance spectroscopy. It was found that a very low critical weight fraction (pc = 0.064 wt %) which may be taken to correspond to the formation of a tunneling conductive network in...

Carbon nanofibers reinforced 3D porous carbon polyhedra network (e-CNF-PCP) was prepared through electrospinning and subsequent thermal treatment. The morphology, structure and electrochemical performance of the e-CNF-PCP were characterized using scanning electron microscopy, Raman spectra, nitrogen adsorption-desorption, cyclic voltammetry and electrochemical impedance spectroscopy, and their ...