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 non » functional non, functions non, functionals from
non https » man https
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals non » functional non, functions non, functionals from
non https » man https
1
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
2
Subjects:
“...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“...Transcriptional and post-transcriptional programming by long noncoding RNAs -- Long noncoding RNA...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
15
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
16
Table of Contents:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
View full text
View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
18
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook