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...

We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most O(k4) clauses, and on the other hand, any linear k-CNF formula with at most 4 k 4e2k3 clauses is satisfiable. The upper bound uses a probabilistic construction, and we have no explicit construction coming even close to it. We give some ar...

Cellulose nanoreinforcements have been used to improve mechanical and barrier properties of biopolymers, whose performance is usually poor when compared to those of synthetic polymers. Nanocomposite edible films have been developed by adding cellulose nanofibers (CNF) in different concentrations (up to 36 g/100 g) as nanoreinforcement to mango puree based edible films. The effect of CNF was stu...

The quality of the prosthetic-neural interface is a critical point for cochlear implant efficiency. It depends not only on technical and anatomical factors such as electrode position into the cochlea (depth and scalar placement), electrode impedance, and distance between the electrode and the stimulated auditory neurons, but also on the number of functional auditory neurons. The efficiency of e...

Films and hydrogels consisting of cellulose nanofibrils (CNF) were modified by covalent EDC/NHS coupling of luminescent, water-dispersible carbon dots (CDs). Quartz crystal microgravimetry with dissipation monitoring (QCM-D) and surface plasmon resonance (SPR) were used to investigate the attachment of CDs on carboxymethylated CNF (CM-CNF). As the first reported use of CD in nanocellulose produ...

We give an exact deterministic algorithm for MAX-SAT. On input CNF formulas with constant clause density (the ratio of the number of clauses to the number of variables is a constant), this algorithm runs in O(c) time where c < 2 and n is the number of variables. Worst-case upper bounds for MAX-SAT less than O(2) were previously known only for k-CNF formulas and for CNF formulas with small claus...

The number of satisfying assignments of k-CNF formulas is computed using the inclusion-exclusion formula for sets of clauses. Recently, it was shown that the information on the sets of clauses of size ≤ log k + 2 already uniquely determines the number of satisfying assignments of k-CNF formulas [1]. The proof was, however, only existential and no explicit procedure was presented. In this paper,...

Semiconducting nanoparticle tin oxide-based sensors have been prepared with a pressure load of 4, 6, 8, 10 tons and reinforced with carbon nanofibers (CNF) in SnO2 matrix. The SnO2/CNF sensor’s sensitivity for ethyl alcohol has increased by a factor of two, in compared with that of pure SnO2 8-ton pressed sensor with lower response time. These results open the way towards further optimized lowe...