1
Published 2005
Table of Contents: ...String Processing and Information Retrieval 2005 -- Enhanced Byte Codes with Restricted Prefix...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...
View full text
Electronic eBook
3
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
4
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- String Matching with Mismatches by Real-Valued FFT -- Encryption Methods for Restricted Data Limited...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- On Parallel Lines in Noisy Forms -- Metrics and Dissimilarities -- Metric Learning in Dissimilarity Space...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... of Soft Constraint Problems -- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms...
View full text
Electronic eBook
19
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
20
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook