Search Results - numeric computing progress program functions https

1

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
View full text

Electronic eBook

2

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

Published 2008

Table of Contents: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
View full text

Electronic eBook

3

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Published 2008

Table of Contents: “... Computing and the Progress of Weather and Climate Forecasting -- Simulation of Seismic Wave Propagation...”
View full text

Electronic eBook

4

Nonsmooth Vector Functions and Continuous Optimization

by Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
Published 2008

Table of Contents: “... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...”
View full text

Electronic eBook

5

Software for Data Analysis Programming with R /

by Chambers, John., Chambers, John.
Published 2008

Table of Contents: “...Introduction: Principles and Concepts -- Using R -- Programming with R: The Basics -- R Packages...”
View full text

Electronic eBook

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
View full text

Electronic eBook

7

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Published 2007

Table of Contents: “... Flow Computations -- Direct Numerical Simulations of Turbulent Premixed Flames with Realistic Kinetic...”
View full text

Electronic eBook

8

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009...

Published 2010

Table of Contents: “...Turbulence -- Direct Numerical Simulation of Fully-Developed Turbulent Channel Flow Using...”
View full text

Electronic eBook

9

Discrete Mathematics Using a Computer

by O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Published 2006

Table of Contents: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text

Electronic eBook

10

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... wave propagation in anisotropic media using dynamic programming technique -- Efficient cardinality/mean...”
View full text

Electronic eBook

11

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... Search with Search Space Partitioning -- Fast Computation of the Multi-points Expected Improvement...”
View full text

Electronic eBook

12

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
View full text

Electronic eBook

13

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Published 2005

Table of Contents: “... for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing...”
View full text

Electronic eBook

14

XI Symposium on Probability and Stochastic Processes CIMAT, Mexico, November 18-22, 2013 /

Published 2015

Table of Contents: “...Preface -- Partition functions of discrete coalescents: from Cayley’s formula to Frieze ζ(3) limit...”
View full text

Electronic eBook

15

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
View full text

Electronic eBook

16

AdvancED ActionScript Components Mastering the Flash Component Architecture /

by De Donatis, Antonio., De Donatis, Antonio.
Published 2006

Table of Contents: “..., and DataGrid Components -- The DateChooser and DateField Components -- The Loader, ScrollPane, and Progress...”
View full text

Electronic eBook

17

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Vietnam /

Published 2008

Table of Contents: “... the Performance of the Gaussian Chemistry Code on x86 Architectures -- Numerical Simulation of the December 26...”
View full text

Electronic eBook

18

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Published 2008

Table of Contents: “... for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming...”
View full text

Electronic eBook

19

Beginning GIMP From Novice to Professional /

by Peck, Akkana., Peck, Akkana.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

20

Facets of Combinatorial Optimization Festschrift for Martin Grötschel /

Published 2013

Table of Contents: “... in academic computational integer programming: Th.Koch, A.Martin, and M.E. Pfetsch -- Mixed Integer...”
View full text

Electronic eBook

Narrow Search