Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program extraction » programs abstraction, protein extraction, program execution
function function » function functional, functions functional, function dysfunction
extraction https » interaction https, exertion https, interactions https
https function » its function, sites function, ups function
function https » functions https, fiction https
program extraction » programs abstraction, protein extraction, program execution
function function » function functional, functions functional, function dysfunction
extraction https » interaction https, exertion https, interactions https
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... coli Expression Vectors -- SeamLess Ligation Cloning Extract（SLiCE）Cloning Method -- j5 DNA Assembly...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...-Schrijver Calculus Proofs for Tseitin Tautologies -- Extracting Kolmogorov Complexity with Applications...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Sites -- Extraction of poly(A) Sites from Large-scale RNA-seq Data -- Poly(A)-tag Deep Sequencing Data...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”View full text
Electronic
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Relation Extraction for the Semantic Web -- Ask like an Egyptian – Question Answering in the ALEXANDRIA Use...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”View full text
Electronic
eBook
19
Table of Contents:
“... Areas -- Bibliography -- General Index -- R Function and Parameter Index -- R Package Index -- R Class...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”View full text
Electronic
eBook