Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality setting » functionality testing, functionality securing, functional setting
program functionality » protein functionality, programs functional, supra functionality
setting https » being https, writing https, feeding https
data program » data programs, dana program, fasta program
functionality setting » functionality testing, functionality securing, functional setting
program functionality » protein functionality, programs functional, supra functionality
setting https » being https, writing https, feeding https
data program » data programs, dana program, fasta program
1
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Detecting Groups of Anomalously Similar Objects in Large Data Sets....”View full text
Electronic
eBook
15
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
16
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”View full text
Electronic
eBook
19
Table of Contents:
“...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...”View full text
Electronic
eBook