1
Published 2006
Table of Contents: ... Aspects -- Invited Talk I -- Alien vs. Quine, the Vanishing Circuit and Other Tales from the Industry’s...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Collision-Free Workspace of 3-RPR Planar Parallel Mechanism via Interval Analysis -- Development of a One...
View full text
Electronic eBook
5
Table of Contents: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... of Shortest Paths in the (n, k)-Star Graphs -- Complexity of Determining the Most Vital Elements for the 1...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...Session 1: Microarray and Systems Biology I (Networks) -- Bayesian Inference of Gene Regulatory...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook