Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
programs space » programmes space, programme space, programs sparse
space https » state https
functionality programs » functional programs, functional program, functions programs
https functionality » its functionality, bags functionality, cross functionality
programs space » programmes space, programme space, programs sparse
space https » state https
1
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Artikel
2
Gepubliceerd in 2015
Inhoudsopgave:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2010
Inhoudsopgave:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2010
Inhoudsopgave:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2015
Inhoudsopgave:
“... -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering...”Volledige tekst
Elektronisch
E-boek
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Gepubliceerd in 2010
Inhoudsopgave:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2006
Inhoudsopgave:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2010
Inhoudsopgave:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2010
Inhoudsopgave:
“... Key Encryption -- Polynomial-Space Approximation of No-Signaling Provers -- From Secrecy to Soundness...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2008
Inhoudsopgave:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2007
Inhoudsopgave:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Volledige tekst
Elektronisch
E-boek
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Gepubliceerd in 2013
Inhoudsopgave:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Volledige tekst
Elektronisch
E-boek
15
Inhoudsopgave:
“...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2010
Inhoudsopgave:
“...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2008
Inhoudsopgave:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“... Classifiers Under Large Attribute Spaces -- Symbolic Regression Via Genetic Programming as a Discovery Engine...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2006
Inhoudsopgave:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2015
Inhoudsopgave:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Volledige tekst
Elektronisch
E-boek