1
Udgivet 2005
Indholdsfortegnelse: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Få fuldtekst
Electronisk eBog
2
Udgivet 2012
Indholdsfortegnelse: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ...Video Search -- Video Data Sources and Applications -- Internet Video -- Video Search Engine...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Få fuldtekst
Electronisk eBog
9
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
10
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
11
Udgivet 2014
Indholdsfortegnelse: ... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ... for Heterogeneous Ensembles of Nearest-neighbour Classifiers Using Hybrid Tabu Search -- A Parallel Ant Colony...
Få fuldtekst
Electronisk eBog
15
Udgivet 2006
Indholdsfortegnelse: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...
Få fuldtekst
Electronisk eBog
17
Udgivet 2014
Indholdsfortegnelse: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Få fuldtekst
Electronisk eBog
18
Udgivet 2014
Indholdsfortegnelse: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
Få fuldtekst
Electronisk eBog
19
Udgivet 2006
Indholdsfortegnelse: ... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...
Få fuldtekst
Electronisk eBog
20
Udgivet 2015
Indholdsfortegnelse: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Få fuldtekst
Electronisk eBog