検索結果 - numeric computing progress ((program function) OR (programme function)) https

1

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

出版事項 2012

目次: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
全文の入手

電子媒体 eBook

2

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

出版事項 2008

目次: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
全文の入手

電子媒体 eBook

3

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

出版事項 2008

目次: “... Computing and the Progress of Weather and Climate Forecasting -- Simulation of Seismic Wave Propagation...”
全文の入手

電子媒体 eBook

4

Nonsmooth Vector Functions and Continuous Optimization

著者: Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
出版事項 2008

目次: “... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...”
全文の入手

電子媒体 eBook

5

Software for Data Analysis Programming with R /

著者: Chambers, John., Chambers, John.
出版事項 2008

目次: “...Introduction: Principles and Concepts -- Using R -- Programming with R: The Basics -- R Packages...”
全文の入手

電子媒体 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 /

出版事項 2008

目次: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
全文の入手

電子媒体 eBook

7

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

出版事項 2007

目次: “... Flow Computations -- Direct Numerical Simulations of Turbulent Premixed Flames with Realistic Kinetic...”
全文の入手

電子媒体 eBook

8

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

出版事項 2010

目次: “...Turbulence -- Direct Numerical Simulation of Fully-Developed Turbulent Channel Flow Using...”
全文の入手

電子媒体 eBook

9

Discrete Mathematics Using a Computer

著者: O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
出版事項 2006

目次: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
全文の入手

電子媒体 eBook

10

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

出版事項 2014

目次: “... wave propagation in anisotropic media using dynamic programming technique -- Efficient cardinality/mean...”
全文の入手

電子媒体 eBook

11

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

出版事項 2013

目次: “... Search with Search Space Partitioning -- Fast Computation of the Multi-points Expected Improvement...”
全文の入手

電子媒体 eBook

12

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

出版事項 2005

目次: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
全文の入手

電子媒体 eBook

13

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

出版事項 2005

目次: “... for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing...”
全文の入手

電子媒体 eBook

14

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

出版事項 2015

目次: “...Preface -- Partition functions of discrete coalescents: from Cayley’s formula to Frieze ζ(3) limit...”
全文の入手

電子媒体 eBook

15

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

出版事項 2008

目次: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
全文の入手

電子媒体 eBook

16

AdvancED ActionScript Components Mastering the Flash Component Architecture /

著者: De Donatis, Antonio., De Donatis, Antonio.
出版事項 2006

目次: “..., and DataGrid Components -- The DateChooser and DateField Components -- The Loader, ScrollPane, and Progress...”
全文の入手

電子媒体 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 /

出版事項 2008

目次: “... the Performance of the Gaussian Chemistry Code on x86 Architectures -- Numerical Simulation of the December 26...”
全文の入手

電子媒体 eBook

18

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

出版事項 2008

目次: “... for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming...”
全文の入手

電子媒体 eBook

19

Beginning GIMP From Novice to Professional /

著者: Peck, Akkana., Peck, Akkana.
出版事項 2006

主題: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
全文の入手

電子媒体 eBook

20

Advances in Fractional Calculus Theoretical Developments and Applications in Physics and Engineering /

出版事項 2007

目次: “...Analytical and Numerical Techniques -- Three Classes of FDEs Amenable to Approximation Using a...”
全文の入手

電子媒体 eBook

絞込み検索