Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
proving functionals » proving functional, probing functional, improving functional
processing proving » processing improving, processing provides, processing protein
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
proving functionals » proving functional, probing functional, improving functional
processing proving » processing improving, processing provides, processing protein
function https » functions https, fiction https
1
Published 2015
Table of Contents:
“... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”View full text
Electronic
eBook
3
Published 2012
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...-Driven SOA -- Towards Using Reo for Compliance-Aware Business Process Modeling -- On the Risk Management...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... RNAi -- High Resolution Gene Expression Profiling of RNA Synthesis, Processing and Decay by Metabolic...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... for Geometric Processing of Surfaces -- A Mathematica Notebook for Computing the Homology of Iterated Products...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”View full text
Electronic
eBook
19
by Specht, Edward John., Specht, Edward John., Jones, Harold Trainer., Calkins, Keith G., Rhoads, Donald H.
Published 2015
Table of Contents:
“...Preface -- Preliminaries and Incidence Geometry (I) -- Affine Geometry: Incidence with Parallelism...”Published 2015
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... -- Towards Leveraging Behavioral Economics in Mobile Application Design -- A Parallel Universe: Psychological...”View full text
Electronic
eBook