1
Published 2007
Table of Contents: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...Paradigms in Science and Theory Construction -- Paradigms in Science: A Historical Perspective...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification -- A...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... -- Functional NK Cell Cytotoxicity Assays Against Virus Infected Cells -- Assessment of Natural Killer Cell...
View full text
Electronic eBook
9
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...Predicting Disease Risks Using Feature Selection Based on Random Forest and Support Vector Machine...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Systems -- From Parallel Data Mining to Grid-Enabled Distributed Knowledge Discovery -- A New Algorithm...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...-Landau Theory for Atomic Fermi Gases Near the BCS-BEC Crossover -- Improved Support Vector Machine Multi...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...)construction of Urban Street Networks: Generative Design Using Global Information from Structure -- A...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Iterative Computations on Volatile Nodes -- Aspect Oriented Pluggable Support for Parallel Computing...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook