Found 22 document(s)
Page 1 of 2
-
Given a CNF formula $\varphi$ with clauses $C_1, \dots, C_m$ over a set of variables $V$, a truth assignment $\mathbf{a} : V \to \{0, 1\}$ generates a binary sequence $\sigma_\varphi(\mathbf{a})=(C_1(\mathbf{a}), \ldots,...
-
Published...
-
Enumeration problems are often encountered as key subroutines in the exact computation of graph parameters such as chromatic number, treewidth, or treedepth. In the case of treedepth computation, the enumeration of inclu...
-
At STOC 2002, Eiter, Gottlob, and Makino presented a technique called ordered generation that yields an $n^{O(d)}$-delay algorithm listing all minimal transversals of an $n$-vertex hypergraph of degeneracy $d$, for an ap...
-
Der 40. Geburtstag des Élysée-Vertrages im Jahre 2003 war Anlass zu deutsch-französischen Feierlichkeiten, die wie nie zuvor von Symbolik bestimmt waren und durch die Irak-Krise sowie die Spannungen in den transatlantisc...
-
Créée par Joseph Wresinski en 1972, et depuis constituée en réseau international, l’Université populaire Quart Monde s’inscrit dans la lignée des travaux de praticiens de l’émancipation tels Paulo Freire, Saül Alinsky et...
-
Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparabili...
-
Influence of Aptamer Surface Coverage on Small Target Recognition: A SPR and QCM-D Comparative StudyAptamers have emerged as promising biorecognition elements for the development of biosensors. The present work focused on the direct detection, by surface plasmon resonance (SPR) and quartz crystal microbalance with diss...
-
Post-glacial schematic rock paintings extend across the Iberian Peninsula to the Italian Piedmont. The Rocher du Château is one of the few Alpine sites with such painted figurations, located on a main transalpine route a...
-
(Uploaded by Plazi for the IPBES Invasive Alien Species Assessment) No abstract provided....
-
The design and characterization of new ruthenium(II) complexes aimed at targeting G-quadruplex DNA is herein reported. Importantly, they are based on oxidizing 1,4,5,8-tetraazaphenanthrene (TAP) ancillary ligands known t...
-
The acceleration of ice sheet melting has been observed over the last few decades. Recent observations and modeling studies have suggested that the ice sheet contribution to future sea level rise could have been underest...
-
Dans une recherche qui a fait date, Schooler et Engstler-Schooler (1990) ont mis en évidence que décrire verbalement certains stimuli peut nuire à leur rétention en mémoire. Ce phénomène a été nommé par les auteurs effet...