1
Udgivet 2015
Indholdsfortegnelse: ...-Propagation Algorithm and MATLAB -- 29. Model Based Control for Moisture in Paper Making Process -- 30...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Fag: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...
Få fuldtekst
Electronisk eBog
5
Udgivet 2012
Indholdsfortegnelse: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Få fuldtekst
Electronisk eBog
6
Udgivet 2012
Indholdsfortegnelse: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Få fuldtekst
Electronisk eBog
7
Udgivet 2011
Indholdsfortegnelse: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Få fuldtekst
Electronisk eBog
9
Udgivet 2013
Indholdsfortegnelse: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Få fuldtekst
Electronisk eBog
10
Udgivet 2014
Indholdsfortegnelse: ... Kernel -- Clustering -- Balanced K-Means for Clustering -- Poisoning Complete-Linkage Hierarchical...
Få fuldtekst
Electronisk eBog
11
Indholdsfortegnelse: ... Processing -- Low-Complexity Solution for Highly Parallel Architecture -- High Efficiency Solution for Highly...
Få fuldtekst
Electronisk eBog
12
Udgivet 2011
Indholdsfortegnelse: ...The pharmacological screening process:the small molecule, the biological target, the robot...
Få fuldtekst
Electronisk eBog
13
Fag: ...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
14
Udgivet 2012
Indholdsfortegnelse: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Få fuldtekst
Electronisk eBog
15
Udgivet 2005
Indholdsfortegnelse: ... -- The Influence of Functional Decomposition on Modern Digital Design Process -- System Engineering for Embedded...
Få fuldtekst
Electronisk eBog
16
Udgivet 2008
Indholdsfortegnelse: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
Få fuldtekst
Electronisk eBog
19
Udgivet 2014
Indholdsfortegnelse: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ... and Back -- A Complete Axiomatic System for a Process-Based Spatial Logic -- Voronoi Games on Cycle Graphs...
Få fuldtekst
Electronisk eBog