Ditapis dengan
High Performance Computational Science and Engineering
Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed Computing -- A Sparse Distributed Memory Capable of Handling Small Cues, SDMSCue -- Towards a Realistic Performance Model for Networks of Heterogeneous Computers -- Extending Clustersim with MP And DSM Modules -- Rendering Complex Scenes on Clusters with Limited Precomputation -- Numerical Computati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240497
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adaptive Finite Elements in Linear and Nonlinear Solid and Structural Mechanics
Duality Techniques for Error Estimation and Mesh Adaptation in Finite Element Methods -- Hierarchical Model and Solution Adaptivity of Thin-walled Structures by the Finite-Elements-Method -- Three Lectures on Error Estimation and Adaptivity -- Hierarchic Modelling in Elasticity by generalized p- and hp-FEM -- Constitutive Relation Error Estimators and Adaptivity in Structural Engineering -- Ada…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783211380604
- Deskripsi Fisik
- VII, 363 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Spatially Structured Evolutionary Algorithms
Setting the Stage for Structured Populations -- Island Models -- Island Models: Empirical Properties -- Lattice Cellular Models -- Lattice Cellular Models: Empirical Properties -- Random and Irregular Cellular Populations -- Coevolutionary Structured Models -- Some Nonconventional Models.Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way in…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540299387
- Deskripsi Fisik
- XIII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Computation in Combinatorial Optimization
An External Partial Permutations Memory for Ant Colony Optimization -- A Novel Application of Evolutionary Computing in Process Systems Engineering -- Choosing the Fittest Subset of Low Level Heuristics in a Hyperheuristic Framework -- An Attribute Grammar Decoder for the 01 MultiConstrained Knapsack Problem -- EvoGeneS, a New Evolutionary Approach to Graph Generation -- On the Application of E…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319962
- Deskripsi Fisik
- XI, 271 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nonlinear Physical Oceanography
Background Material -- A Dynamical Systems Point of View -- Numerical Techniques -- The Wind-Driven Circulation -- The Thermohaline Circulation -- The Dynamics and Physics of ENSO.In this book, methodology of dynamical systems theory is applied to investigate the physics of the large-scale ocean circulation. Topics include the dynamics of western boundary currents such as the Gulf Stream in the…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781402022630
- Deskripsi Fisik
- XVI, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Preface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316794
- Deskripsi Fisik
- XII, 492 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integer Programming and Combinatorial Optimization
Mixed-Integer Cuts from Cyclic Groups -- Optimizing over the First Chvàtal Closure -- Sequential Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a Maximum Even Factor -- Improved Approximation Schemes for Linear Programming Relaxations of …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321026
- Deskripsi Fisik
- XII, 488 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integration of AI and OR Techniques in Constraint Programming for Combinatori…
Invited Papers -- Integration of Rules and Optimization in Plant PowerOps -- Embedded Systems Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers -- Set Variables and Local Search -- The Temporal Knapsack Problem and Its Solution -- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles -- The tree Cons…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322641
- Deskripsi Fisik
- XII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Multi-Criterion Optimization
Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni-optimizer: A Procedure for Single and Multi-objective Optimization -- An EMO Al…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318804
- Deskripsi Fisik
- XVI, 912 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Grid Computing and Peer-to-Peer (P2P) Systems Workshop -- Spatial Analysis and GIS: Local or Global? Workshop -- Computer Graphics and Rendering Workshop -- Data Mining and Bioinformatics Workshop -- Parallel and Distribuited Computing Workshop -- Symbolic Computation, SC 2005 Workshop -- Specific Aspects of Computational Physics for Modeling Suddenly-Emerging Phenomena Workshop -- Internet Com…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320456
- Deskripsi Fisik
- CXXXII, 1342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah