Xanthine oxidoreductase (XOR) catalyzes the conversion of hypoxanthine to xanthine and xanthine to uric acid with concomitant reduction of either NAD+ or O(2). The enzyme is a target of drugs to treat hyperuricemia, gout and reactive oxygen-related diseases. Human diseases associated with genetically determined dysfunction of XOR are termed xanthinuria, because of the excretion of xanthine in u...

Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas. However, some application problems involve lots of parity (xor) constraints which are not necessarily efficiently handled if translated into CNF. This paper studies solving CNF formulas augmented with xor-clauses in the DPLL(XOR) framework where a CDCL SAT solver is coupled...

Loss of xanthine oxidoreductase (XOR) has been linked to aggressive breast cancer in vivo and to breast cancer cell aggressiveness in vitro. In the present study, we hypothesized that the contribution of XOR to the development of the normal mammary gland may underlie its capacity to modulate breast cancer. We contrasted in vitro and in vivo developmental systems by differentiation marker and mi...

The enzyme xanthine oxidoreductase (XOR) catalyzes the last two steps of purine catabolism in the highest uricotelic primates. XOR is an enzyme with dehydrogenase activity that, in mammals, may be converted into oxidase activity under a variety of pathophysiologic conditions. XOR activity is highly regulated at the transcriptional and post-translational levels and may generate reactive oxygen a...

The MAX-SAT problem is to find a truth assignment that satisfies the maximum number of clauses in a finite set of logical clauses. In the special case of MAX-XOR-SAT, arising from Linear Cryptanalysis, each clause is a set of literals joined by exclusive-or (xor). Solving MAX-XOR-SAT is useful in finding keys to decrypt intercepted encrypted messages. This report presents and evaluates Xor-Walk...

The main contribution of this paper is to introduce an autonomous definition of the connective “fuzzy exclusive or” (fuzzy Xor, for short), which is independent from others connectives. Also, two canonical definitions of the connective Xor are obtained from the composition of fuzzy connectives, and based on the commutative and associative properties related to the notions of triangular norms, t...

Novel digital technologies always lead to high density and very low power consumption. One of these concepts is Quantum-dot Cellular Automata (QCA), which is one of the new emerging nanotechnology-based on Coulomb repulsion. This article presents three architectures of logical “XOR” gate, a novel structure of two inputs “XOR” gate, which is used as a module to implement four inputs “XOR” gate a...

Xanthine oxidoreductase (XOR) is the rate-limiting enzyme in purine catabolism occurring in most cell types. However, this housekeeping gene is expressed at very high levels in a number of mammalian tissues including the lactating mammary epithelium, suggesting additional roles for XOR in these tissues. Mice with targeted disruption of XOR were generated to assess these potential additional rol...

Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas. However, some application problems involve lots of parity (xor) constraints which are not necessarily efficiently handled if translated into CNF. This paper studies solving CNF formulas augmented with xor-clauses in the DPLL(XOR) framework where a CDCL SAT solver is coupled...