Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
interference method » interference methods, inference method, reference method
method programs » methods program, method progress, method programmed
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
interference method » interference methods, inference method, reference method
method programs » methods program, method progress, method programmed
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming...”View full text
Electronic
eBook
3
Published 2011
Table of Contents:
“... -- MicroRNA Northern Blotting, Precursor Cloning, and Ago2-Improved RNA Interference -- MiRNA Profiling...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... to Finance -- Discrete Orthogonality of Zernike Functions and Its Application to Corneal Measurements -- A...”View full text
Electronic
eBook
7
Published 1999
Table of Contents:
“... Embryos -- Whole Embryo Assays for Programmed Cell Death -- Gene Interference Using Antisense...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Product Graphs -- Integer Programming Methods for Special College Admissions Problems -- On the Width...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... new method to filter out radio-frequency interference (RFI) from SMOS level 1C data for sea ice...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- Functional annotation of proteins by a novel method using weight & feature selection; J. Jung, et al -- Gaze...”View full text
Electronic
eBook