Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming testing » programming designing, programming reasoning, programming extending
testing based » testing case, test based
based versus » based virus, board versus, feed versus
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming testing » programming designing, programming reasoning, programming extending
testing based » testing case, test based
based versus » based virus, board versus, feed versus
1
Published 2012
Table of Contents:
“... Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Advances on Statistical Computing Environments -- Back to the Future: Lisp as a Base for a Statistical...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Uncertainty: Orthogonal Versus Weighted Sum -- Learnability of Simply-Moded Logic Programs from Entailment...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...”View full text
Electronic
eBook
10
by Mohamed Siddig, Mohamed Ahmed
Published 2000
Subjects:
“...Surface plasmon resonance - Computer simulation...”Published 2000
View full text
Thesis
11
by Mohamed Siddig, Mohamed Ahmed
Published 2000
“... Basic 5.0 standard edition was used in this project whereby a window-based program with graphic user...”Published 2000
View full text
Thesis
12
Published 2007
Table of Contents:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...-Source Multiplayer Introduction to Mobile Robots Programming -- Test-Bed for Multimodal Games on Mobile...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Efficient Time and Frequency Methods for Sampling Filter Functions -- The Generalized Likelihood Ratio Test...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Shearlet-Based Filter for Low-Dose Mammography -- Evaluation of Human Contrast Sensitivity Functions Used...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Six Sigma — Status and Trends -- Computer Based Robust Engineering -- Integrating a Continual...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...-Based One-Class Classification -- Test-Cost Sensitive Classification Based on Conditioned Loss Functions...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...: Implications for Terrestrial Ecosystem Structure and Functioning -- Atmospheric Deposition and Nitrogen...”View full text
Electronic
eBook