Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming extraction » programming abstraction, programming abstractions, program extraction
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
programming extraction » programming abstraction, programming abstractions, program extraction
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
Julkaistu 2005
Sisällysluettelo:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2014
Sisällysluettelo:
“... coli Expression Vectors -- SeamLess Ligation Cloning Extract（SLiCE）Cloning Method -- j5 DNA Assembly...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2010
Sisällysluettelo:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2006
Sisällysluettelo:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2015
Sisällysluettelo:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2006
Sisällysluettelo:
“...-Schrijver Calculus Proofs for Tseitin Tautologies -- Extracting Kolmogorov Complexity with Applications...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2007
Sisällysluettelo:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2006
Sisällysluettelo:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2015
Sisällysluettelo:
“... Sites -- Extraction of poly(A) Sites from Large-scale RNA-seq Data -- Poly(A)-tag Deep Sequencing Data...”Hae kokoteksti
Elektroninen
E-kirja
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2014
Sisällysluettelo:
“...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2014
Sisällysluettelo:
“... Relation Extraction for the Semantic Web -- Ask like an Egyptian – Question Answering in the ALEXANDRIA Use...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Hae kokoteksti
Elektroninen
E-kirja
20
Sisällysluettelo:
“... Areas -- Bibliography -- General Index -- R Function and Parameter Index -- R Package Index -- R Class...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja