1
Published 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
2
Table of Contents: ... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....
View full text
Electronic eBook
3
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
4
Published 2010
Table of Contents: ... on Constrained Minimum Enclosing Circle Problem -- Searching for an Axis-Parallel Shoreline -- Bounded Length, 2...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Binary Translation System -- Unbiased Branches: An Open Problem -- An Online Profile Guided Optimization...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Simulation System -- Gliders and Riders: A Particle Swarm Selects for Coherent Space-Time Structures...
View full text
Electronic eBook