Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals lower » functions lower, functionals over, functionality lower
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals lower » functions lower, functionals over, functionality lower
1
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Processes -- 6. Trees and the Art of Lower Bounds -- 7. Random Fourier Series and Trigonometric Sums, II...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...LOWER LIMB PROSTHESIS -- Importance of Increasing the Functionality of Lower Limb Prostheses...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
16
Table of Contents:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
View full text
View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... -- Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation -- Semi-automatic Generation of CHR...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Information Complexity of Online Problems -- Algorithmic Lower Bounds for Problems on Decomposable Graphs...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook