Ice-templated cellular materials made of entangled networks slender cellulose nanocrystals (CNCs) or nanofibrils (CNFs) exhibit excellent specific physical properties but their mechanical are still insufficient: these biosourced systems cannot be used as structural materials, e.g., cores composite sandwich structures. To overcome this limitation, we ice-templated hydrogels with high concentrati...

In recent years, spinel-type structural cobalt salts (NiCo2O4, CuCo2O4, etc.) have been widely used electrocatalysis because of their superior properties such as large crustal reserves, low cost, environmental friendliness, high electrochemical activity, abundant oxidation valence, and stable chemical properties. this paper, hollow carbon nanofibers loaded CuCo2O4 nanowires (CuCo2O4@CNFs) were ...

A normalizing flow is an invertible mapping between arbitrary probability distribution and a standard normal distribution; it can be used for density estimation statistical inference. Computing the follows change of variables formula thus requires invertibility efficient way to compute determinant its Jacobian. To satisfy these requirements, flows typically consist carefully chosen components. ...

Glasses and transparent plastics are used as daylighting face materials in buildings vehicles. However, these mechanically inferior to other structural members such metals, concretes, fiber-reinforced have no contribution the load-bearing capacities of whole structures incorporating them. Herein, we report clearly strong plate (haze 8%, strength 256 MPa) comprising solely wood-derived cellulose...

Germanium is a promising high-capacity anode material for lithium ion batteries, but still suffers from poor cyclability due to its huge volume variation during the Li-Ge alloy/dealloy process. Here we rationally designed a flexible and self-supported electrode consisting of Ge nanoparticles encapsulated in carbon nanofibers (Ge-CNFs) by using a facile electrospinning technique as potential ano...

Abstract. We develop and analyze clause elimination procedures, a specific family of simplification techniques for conjunctive normal form (CNF) formulas. Extending known procedures such as tautology, subsumption, and blocked clause elimination, we introduce novel elimination procedures based on hidden and asymmetric variants of these techniques. We analyze the resulting nine (including five ne...

We provide some evidence that Unique k-SAT is as hard to solve as general k-SAT, where k-SAT denotes the satisfiability problem for k-CNFs with at most k literals in each clause and Unique k-SAT is the promise version where the given formula has 0 or 1 solutions. Namely, defining for each k > 1, sk = inf{δ > 0 | ∃ a O(2)-time randomized algorithm for k-SAT} and, similarly, σk = inf{δ > 0 | ∃ a ...

The catalytic dehydrogenation (DH) and oxidative dehydrogenation (ODH) of light alkanes are of significant industrial importance. In this work both carbonaceous material deposited on VOx/Al2O3 catalysts during reaction and unsupported carbon nanofibres (CNFs) are shown to be active for the dehydrogenation of butane in the absence of gas-phase oxygen. Their activity in these reactions is shown t...

The identification of effective components on the atomic scale in carbon nanomaterials which improve the performance in various applications remains outstanding challenges. Here the catalyst residues in individual carbon nanotube (CNT) and carbon nanofiber (CNF) were clearly imaged with a concurrent characterization of their electronic structure by nanoscale scanning transmission X-ray microsco...

Knowledge compilation is a rewriting approach to propositional knowledge representation. The ‘knowledge base’ is initially represented as a cnf for which many important types of queries are np-hard to answer. Therefore, the cnf is compiled into another representation for which the minimal requirement is that the clausal entailment query (can the given partial assignment be extended to a complet...