Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs evaluating » programs evaluation, program evaluation, problems evaluating
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
evaluating https » evaluation https, evaluating hot, evaluation http
using https » using http, nursing https, aging https
programs evaluating » programs evaluation, program evaluation, problems evaluating
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
evaluating https » evaluation https, evaluating hot, evaluation http
using https » using http, nursing https, aging https
1
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”View full text
Electronic
eBook
5
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
6
Table of Contents:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Inefficiency in Production Frontier Models Using Cross-Sectional Data by Kumbhakar, Subal C. & Wang, Hung-Jen...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
18
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
19
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”View full text
Electronic
eBook