In these notes we study run-time properties of general programs w.r.t. constructive negation, i.e. termination and properties of the form of the arguments of the literals selected during the execution. We consider here SLD-CNF resolution, i.e. resolution with constructive negation and arbitrary selection rule, and LD-CNF resolution, i.e. resolution with constructive negation and Prolog selectio...

Boolean Conjunctive Normal Form (CNF) expansion can effectively address the vocabulary mismatch problem, a problem that current retrieval techniques have very limited ability to solve. Meanwhile, expert searchers are found to spend large amounts of time carefully creating manual CNF queries. These CNF queries are highly effective, and can outperform bag of word queries by a large margin. Howeve...

A pair of clauses in a CNF formula constitutes a conflict if there is a variable that occurs positively in one clause and negatively in the other. Clearly, a CNF formula has to have conflicts in order to be unsatisfiable—in fact, there have to be many conflicts, and it is the goal of this paper to quantify how many. An unsatisfiable k-CNF has at least 2 clauses; a lower bound of 2 for the numbe...

behaviors have already been demonstrated. Systemic morphine inhibited both the early and late phases of the formalin-induced licking responses, and this action was naloxone-sensitive (Dubuisson & Dennis, 1977; Oluyomi, Hart, & Smith, 1992) as well. It has been shown that wide variety of brain regions including the frontal lobe, anterior cingulate cortex, insula, amygdala, hypothalamus, periaque...

Waste pulp residues are herein exploited for the synthesis of a sorbent for humic acid (HA), which is a major water pollutant. Cellulose pulp was etherified with a quaternary ammonium salt in water thereby introducing positive charges onto the surface of the pulp fibers, and subsequently mechanically disintegrated into high surface area cellulose nanofibers (CNF). CNF with three different charg...

Knowledge compilation is a process of adding more information to a knowledge base in order to make it easier to deduce facts from the compiled base than from the original one. One type of knowledge compilation occurs when the knowledge in question is represented by a Boolean formula in conjunctive normal form (CNF). The goal of knowledge compilation in this case is to add clauses to the input C...

Paper is widely used in packaging applications and biodegradable therefore perfectly safe as green wrap for the environment. The hydrophilic nature of cellulose fibrils limits water vapour oxygen barrier properties paper. To mitigate these limitations, paper often associated with other materials, such plastics, wax aluminum, achieving their good properties. However, materials suffer from seriou...

Introduction: Nucleus cuneiformis (NCF), as part of descending pain inhibitory system, cooperates with periaqueductal gray (PAG) and rostral ventromedial medulla (RVM) in supraspinal modulation of pain. Cannabinoids have analgesic effects in the PAG, RVM and NCF. The transient receptor potential vanilloid type 1(TRPV1) can be activated by anandamide and WIN55,212-2 as a cannabinoid receptor ago...