1
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
View full text
Electronic eBook
5
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Algorithm Based on Classification Closeness Function....
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
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: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
View full text
Electronic eBook
14
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
15
Published 2008
Table of Contents: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Detection Method Based on DNS -- Parallelization of Closed-form Stiffness Matrix Generation for Tetrahedral...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...
View full text
Electronic eBook