1
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Indholdsfortegnelse: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... Risk Element Network Transmission Parallel Computing Model -- On the Performance of Metamodel Assisted...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... for Strategy Games -- A Procedural Balanced Map Generator with Self-adaptive Complexity for the Real-Time...
Få fuldtekst
Electronisk eBog
6
Udgivet 2015
Indholdsfortegnelse: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
Få fuldtekst
Electronisk eBog
7
Indholdsfortegnelse: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Få fuldtekst
Electronisk eBog
8
Udgivet 2012
Indholdsfortegnelse: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...
Få fuldtekst
Electronisk eBog
10
Udgivet 2014
Indholdsfortegnelse: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...
Få fuldtekst
Electronisk eBog
12
Udgivet 2013
Indholdsfortegnelse: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Få fuldtekst
Electronisk eBog
13
Udgivet 2011
Indholdsfortegnelse: ...Integrated Computer Models of 3-D Comb Drive Electrostatic MEMS Structures .-Multiobjective Design...
Få fuldtekst
Electronisk eBog
14
...(s) of the interpolating polynomial. Through interval computation, the Weierstrass-like parallel iterative methods...
Article
15
...(s) of the interpolating polynomial. Through interval computation, the Weierstrass-like parallel iterative methods...
Article
16
Udgivet 2005
Indholdsfortegnelse: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
Få fuldtekst
Electronisk eBog
18
Udgivet 2013
Indholdsfortegnelse: ... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Få fuldtekst
Electronisk eBog