Recherches alternatives:
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
program spaces » program traces, programs space, program success
spaces https » space https, impacts https
1
... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...
Article
2
Publié 2015
Table des matières: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Accéder au texte intégral
Électronique eBook
3
par Lew, Art., Lew, Art., Mauch, Holger.
Publié 2007
Table des matières: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Accéder au texte intégral
Électronique eBook
4
Publié 2005
Table des matières: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Key Encryption -- Polynomial-Space Approximation of No-Signaling Provers -- From Secrecy to Soundness...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
Accéder au texte intégral
Électronique eBook
14
Publié 2013
Table des matières: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Accéder au texte intégral
Électronique eBook
15
Table des matières: ...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Classifiers Under Large Attribute Spaces -- Symbolic Regression Via Genetic Programming as a Discovery Engine...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
Accéder au texte intégral
Électronique eBook