Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
setting function » settings functions, selling function, testing function
program setting » program getting, programs getting, program testing
function https » functions https, fiction https
data program » data programs, dana program, fasta program
setting function » settings functions, selling function, testing function
program setting » program getting, programs getting, program testing
function https » functions https, fiction https
data program » data programs, dana program, fasta program
1
Udgivet 2006
Indholdsfortegnelse:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2005
Indholdsfortegnelse:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2014
Indholdsfortegnelse:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2014
Indholdsfortegnelse:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... -- Detecting Groups of Anomalously Similar Objects in Large Data Sets....”Få fuldtekst
Electronisk
eBog
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2007
Indholdsfortegnelse:
“... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”Få fuldtekst
Electronisk
eBog
19
Indholdsfortegnelse:
“...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...”Få fuldtekst
Electronisk
eBog