1
Table of Contents: ... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...
View full text
Electronic eBook
2
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
3
Table of Contents: ... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...
View full text
Electronic eBook
6
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Optimization for the Minimum Labelling Steiner Tree Problem -- Ant Colony Cooperative Strategy...
View full text
Electronic eBook
9
10
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Physical Fields -- A New Method for Normalization of Interval Weights -- A Global Optimization Method...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Data on Multiple Client Platforms -- GridBench: A Workbench for Grid Benchmarking -- A Method...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Towards Formalizing Network Architectural Descriptions -- Lightweight Modeling of Java Virtual Machine...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Method to Get a Municipality Event Information -- Design and Implementation of Adaptive Inter-platform...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
View full text
Electronic eBook