Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
problem functionals » problem functional, problems functions, probing functional
parallel recursive » partial recursive
recursive problem » recursive program, recursive programs, regressive problem
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
problem functionals » problem functional, problems functions, probing functional
parallel recursive » partial recursive
recursive problem » recursive program, recursive programs, regressive problem
function https » functions https, fiction https
1
Table of Contents:
“...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Problems for Parabolic Systems -- Applications -- Parallel Simulations of Phase Transitions in Disordered...”View full text
Electronic
eBook
5
Table of Contents:
“... Pathology -- Partial Recursive Functions and Gödel Numberings -- Applications of the Recursion Theorem...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Theorems -- A New Approach to the Paperfolding Sequences -- Covering the Recursive Sets -- On Distributed...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Matching Approaches -- IsoLate: A Type System for Self-recursion -- The Problem of PL Concurrency Semantics...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Commutativity of Reducers -- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling -- Analysis...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- Recursive Functions on Lazy Lists via Domains and Topologies -- Formal Verification of Optical Quantum Flip...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”View full text
Electronic
eBook