Titlebook: Computer Science - Theory and Applications; 9th International Co Edward A. Hirsch,Sergei O. Kuznetsov,Nikolay K. Ve Conference proceedings

Isolate

AV-node

Schlemms-Canal

Henry J. Waldvogel,Richard L. M. Faull(low) degree. Here, . is a finite field. The problem is studied in the framework of real number complexity as introduced by Blum, Shub, and Smale. Our main result is at least of a twofold interest. First, it provides one of two major lacking ingredients for proving a real PCP theorem along the lines

Fulminate

https://doi.org/10.1007/978-1-4615-0715-4f testing properties of linear and quadratic functions can be characterized in terms of complexity in another model of computation called ...The observation allows us to characterize testable properties of linear functions in terms of the approximate .. norm of the Fourier spectrum of an associated

饶舌的人

Joshua A. Goldberg,Hagai Bergman The goal is to identify clusters of similar objects by slightly modifying the graph to obtain a cluster graph (disjoint union of cliques)..Hüffner et al. [LATIN 2008, Theory Comput. Syst. 2010] initiated the parameterized study of ., where the allowed modification is vertex deletion, and presented

DENT

Joshua A. Goldberg,Hagai Bergmannumber of quantified variables is unbounded and the satisfiability problem is .-complete for the propositional fragment. We show that the satisfiability problem for 1SL1 is .-complete and we characterize its expressive power by showing that every formula is equivalent to a Boolean combination of ato

Schlemms-Canal

厌倦吗你

https://doi.org/10.1007/0-387-28066-9uced. We combine these variants and introduce the local adjacency metric dimension. We show that the (local) metric dimension of the corona product of a graph of order . and some non-trivial graph . equals . times the (local) adjacency metric dimension of .. This strong relation also enables us to i

follicle

Brain-Imaging