Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functional structures » functional structure, functional structural, functional status
evaluation https » education https
https functional » cots functional, cuts functional, dots functional
functional structures » functional structure, functional structural, functional status
evaluation https » education https
https functional » cots functional, cuts functional, dots functional
1
Publicat 2006
Taula de continguts:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Taula de continguts:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”Obtenir text complet
Electrònic
eBook