1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
6
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
10
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
11
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Sets in 0/1 Samples -- Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates -- A...
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 2014
Table of Contents: ... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Greedy Differential Approximations for Min Set Cover -- A Methodology of Visual Modeling Language...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Knowledge-Based Decision Making Issues in Collaborative Settings: An Integrated Approach -- Market Clearing...
View full text
Electronic eBook