Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing assisted » computing assistive, computer assisted, routing assisted
assisted function » assisted suction, assisted conception, assisted selection
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
computing assisted » computing assistive, computer assisted, routing assisted
assisted function » assisted suction, assisted conception, assisted selection
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Risk Element Network Transmission Parallel Computing Model -- On the Performance of Metamodel Assisted...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...-borne Phased Array Radar -- A Second-order Algorithm for Curve Parallel Projection on Parametric...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... in Evolutionary Algorithms -- A Review of Techniques for Handling Expensive Functions in Evolutionary Multi...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Functional Language -- On Reachability Games of Ordinal Length -- An Algorithm for Computation of the Scene...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and Measurement Based on Morphological Functions in Graphical Vision Assistant Tool -- Efficient Algorithm...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- The Effects of Computer Assisted Instruction to Train People with Reading Disabilities Recognizing Chinese...”View full text
Electronic
eBook