1  16
 ESCAPE 2007 (2007 : Hangzhou, China)
 Berlin, Heidelberg : SpringerVerlag Berlin Heidelberg, 2007.
 Description
 Book — xii, 530 p. : ill.
 Berlin ; New York : SpringerVerlag, 1994.
 Description
 Book — 128 p. : ill. ; 24 cm.
 Summary

This volume constitutes the proceedings of the Second Fuzzy Logic in AI Workshop, held in conjunction with IJCAI '93 in Chambery, France in August 1993. The book contains full revised versions of the papers presented at the workshop and covers several aspects of fuzzy logic in contributions from renowned researchers. This volume reflects the aim of the workshop, namely to serve as a platform for fruitful contacts between fuzzy engineering researchers interested in AI and AI researchers interested in fuzzy logic applications in engineering: when it comes to designing intelligent systems they are confronted with the same problems and questions and hope for the same successful results.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QC173.454 .F89 1994  Available 
 ESCAPE 2007 (2007 : Hangzhou, China)
 Berlin ; New York : Springer, ©2007.
 Description
 Book — 1 online resource (xii, 530 pages) : illustrations Digital: text file.PDF.
 Summary

 The Tight Bound of First Fit Decreasing BinPacking Algorithm Is FFD(I)???11/9OPT(I)?+?6/9
 Sequential Vector Packing
 A Tighter Analysis of Set Cover Greedy Algorithm for Test Set
 A More Effective Linear Kernelization for Cluster Editing
 CRprecis: A Deterministic Summary Structure for Update Data Streams
 An Effective Refinement Algorithm Based on Swarm Intelligence for Graph Bipartitioning
 On the Complexity and Approximation of the MinSum and MinMax Disjoint Paths Problems
 A Digital Watermarking Scheme Based on Singular Value Decomposition
 A New (t, n)??Threshold Scheme Based on Difference Equations
 CliqueTransversal Sets in Cubic Graphs
 On the L(h, k)Labeling of Cocomparability Graphs
 An Approximation Algorithm for the General Mixed Packing and Covering Problem
 Extending the Hardness of RNA Secondary Structure Comparison
 On the OnLine Weighted kTaxi Problem
 Model Futility and Dynamic Boundaries with Application in Banking Default Risk Modeling
 On the Minimum RiskSum Path Problem
 Constrained Cycle Covers in Halin Graphs
 Optimal Semionline Algorithms for Scheduling with Machine Activation Cost
 A Fast Asymptotic Approximation Scheme for Bin Packing with Rejection
 Online Coupon Consumption Problem
 Application of Copula and CopulaCVaR in the Multivariate Portfolio Optimization
 Online Capacitated Interval Coloring
 Energy Efficient Heuristic Scheduling Algorithms for Multimedia Service
 Call Control and Routing in SONET Rings
 Fast Matching Method for DNA Sequences
 AllPairs Ancestor Problems in Weighted Dags
 Streaming Algorithms for Data in Motion
 A Scheduling Problem with One Producer and the Bargaining Counterpart with Two Producers
 PhraseBased Statistical Language Modeling from Bilingual Parallel Corpus
 Optimal Commodity Distribution for a Vehicle with Fixed Capacity Under Vendor Managed Inventory
 OnLine Bin Packing with Arbitrary Release Times
 On the Complexity of the MaxEdgeColoring Problem with Its Variants
 Quantitative Analysis of Multihop Wireless Networks Using a Novel Paradigm
 Inverse MinMax Spanning Tree Problem Under the Weighted SumType Hamming Distance
 Robust Optimization Model for a Class of Uncertain Linear Programs
 An Efficient Algorithm for Solving the Container Loading Problem
 A Bijective Code for kTrees with Linear Time Encoding and Decoding
 MarketBased Service Selection Framework in Grid Computing
 Informative Gene Selection and Tumor Classification by Null Space LDA for Microarray Data
 Heuristic Search for 2D NMR Alignment to Support Metabolite Identification
 A New Succinct Representation of RMQInformation and Improvements in the Enhanced Suffix Array
 Lagrangian Relaxation and Cutting Planes for the Vertex Separator Problem
 Finding Pure Nash Equilibrium of Graphical Game Via Constraints Satisfaction Approach
 A New Load Balanced Routing Algorithm for Torus Networks
 Optimal Semionline Scheduling Algorithms on a Small Number of Machines
 Lower Bounds on Edge Searching.
 Berlin ; London : Springer, 2011.
 Description
 Book — 1 online resource (xvi, 556 pages : illustrations (some color) Digital: text file; PDF.
 Summary

 Part I: Equations of motion and some basic ideas on discretizations. Pat II. Conservation laws, finitevolume methods, remapping techniques and spherical grids. Part III. Some aspects of atmospheric dynamical cores.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Berlin ; New York : Springer, ©2008.
 Description
 Book — 1 online resource (229 pages) : illustrations Digital: data file.
 Summary

 Stabilized FEMBEM Coupling for Maxwell Transmission Problems. A Posteriori Error Analysis and Adaptive Finite Element Methods for Electromagnetic and Acoustic Problems. Time Domain Adaptive Integral Method for Surface Integral Equations. Local and Nonlocal Nonreflecting Boundary Conditions for Electromagnetic Scattering. HighOrder Methods for HighFrequency Scattering Applications. Recent Studies on Inverse Medium Scattering Problems. Time Reversal of Electromagnetic Waves. Addition Theorem.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Behrens, Jörn.
 [Great Britain] : Springer, c2006.
 Description
 Book — xvii, 207 p. : ill.
 Summary

 Principles of Adaptive Atmospheric Modeling. Grid Generation. Data Structures for Computational Efficiency. Issues in Parallelization of Irregularly Structured Problems. Numerical Treatment of Differential Operators on Adaptive Grids. Discretization of Conservation Laws. Example Applications. Conclusions. Some Basic Mathematical Tools. Metrics for Parallelizing Irregularly Structured Problems. Rotating Shallow Water Equations in Spherical Geometries.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Behrens, Jörn.
 Berlin : SpringerVerlag, c2006.
 Description
 Book — xvii, 207 p. : ill. ; 24 cm
 Summary

 Principles of Adaptive Atmospheric Modeling. Grid Generation. Data Structures for Computational Efficiency. Issues in Parallelization of Irregularly Structured Problems. Numerical Treatment of Differential Operators on Adaptive Grids. Discretization of Conservation Laws. Example Applications. Conclusions. Some Basic Mathematical Tools. Metrics for Parallelizing Irregularly Structured Problems. Rotating Shallow Water Equations in Spherical Geometries.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Earth Sciences Library (Branner)
Earth Sciences Library (Branner)  Status 

Stacks  
QC861.3 .B44 2006  Unknown 
 Berlin ; New York : Springer, c2006.
 Description
 Book — xvii, 534 p. : ill. (some col.).
 Summary

 Astrophysics. Radiation Hydrodynamics in Astrophysics. Radiative Transfer in Astrophysical Applications. Neutrino Transport in Core Collapse Supernovae. DiscreteOrdinates Methods for Radiative Transfer in the NonRelativistic Stellar Regime. Atmospheric Science, Oceanography, and Plant Canopies. Effective Propagation Kernels in Structured Media with Broad Spatial Correlations, Illustration with LargeScale Transport of Solar Photons Through Cloudy Atmospheres. Mathematical Simulation of the Radiative Transfer in Statistically Inhomogeneous Clouds. Transport Theory for Optical Oceanography. Perturbation Technique in 3D Cloud Optics: Theory and Results. Vegetation Canopy Reflectance Modeling with Turbid Medium Radiative Transfer. Rayspread: A Virtual Laboratory for Rapid BRF Simulations Over 3D Plant Canopies. High Energy Density Physics. Use of the Space Adaptive Algorithm to Solve 2D Problems of Photon Transport and Interaction with Medium. Accurate and Efficient Radiation Transport in Optically Thick Media  by Means of the Symbolic Implicit Monte Carlo Method in the Difference Formulation. An Evaluation of the Difference Formulation for Photon Transport in a Two Level System. NonLTE Radiation Transport in High Radiation Plasmas. FiniteDifference Methods Implemented in SATURN Complex to Solve Multidimensional TimeDependent Transport Problems. Implicit Solution of NonEquilibrium Radiation Diffusion Including Reactive Heating Source in Material Energy Equation. Mathematics and Computer Science. Transport Approximations in Partially Diffusive Media. High Order Finite Volume Nonlinear Schemes for the Boltzmann Transport Equation. Obtaining Identical Results on Varying Numbers of Processors in Domain Decomposed Particle Monte Carlo Simulations. KMMethod of Iteration Convergence Acceleration for Solving a 2D TimeDependent MultipleGroup Transport Equation and its Modifications. A Regularized Boltzmann Scattering Operator for Highly Forward Peaked Scattering. Implicit Riemann Solvers for the Pn Equations. The Solution of the TimeDependent SN Equations on Parallel Architectures. Different Algorithms of 2D Transport Equation Parallelization on Random NonOrthogonal Grids. Neutron Transport. Parallel Deterministic Neutron Transport with AMR. An Overview of Neutron Transport Problems and Simulation Techniques.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Berlin ; New York : Springer, ©2006.
 Description
 Book — 1 online resource (xvii, 534 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 Astrophysics. Radiation Hydrodynamics in Astrophysics. Radiative Transfer in Astrophysical Applications. Neutrino Transport in Core Collapse Supernovae. DiscreteOrdinates Methods for Radiative Transfer in the NonRelativistic Stellar Regime. Atmospheric Science, Oceanography, and Plant Canopies. Effective Propagation Kernels in Structured Media with Broad Spatial Correlations, Illustration with LargeScale Transport of Solar Photons Through Cloudy Atmospheres. Mathematical Simulation of the Radiative Transfer in Statistically Inhomogeneous Clouds. Transport Theory for Optical Oceanography. Perturbation Technique in 3D Cloud Optics: Theory and Results. Vegetation Canopy Reflectance Modeling with Turbid Medium Radiative Transfer. Rayspread: A Virtual Laboratory for Rapid BRF Simulations Over 3D Plant Canopies. High Energy Density Physics. Use of the Space Adaptive Algorithm to Solve 2D Problems of Photon Transport and Interaction with Medium. Accurate and Efficient Radiation Transport in Optically Thick Media  by Means of the Symbolic Implicit Monte Carlo Method in the Difference Formulation. An Evaluation of the Difference Formulation for Photon Transport in a Two Level System. NonLTE Radiation Transport in High Radiation Plasmas. FiniteDifference Methods Implemented in SATURN Complex to Solve Multidimensional TimeDependent Transport Problems. Implicit Solution of NonEquilibrium Radiation Diffusion Including Reactive Heating Source in Material Energy Equation. Mathematics and Computer Science. Transport Approximations in Partially Diffusive Media. High Order Finite Volume Nonlinear Schemes for the Boltzmann Transport Equation. Obtaining Identical Results on Varying Numbers of Processors in Domain Decomposed Particle Monte Carlo Simulations. KMMethod of Iteration Convergence Acceleration for Solving a 2D TimeDependent MultipleGroup Transport Equation and its Modifications. A Regularized Boltzmann Scattering Operator for Highly Forward Peaked Scattering. Implicit Riemann Solvers for the Pn Equations. The Solution of the TimeDependent SN Equations on Parallel Architectures. Different Algorithms of 2D Transport Equation Parallelization on Random NonOrthogonal Grids. Neutron Transport. Parallel Deterministic Neutron Transport with AMR. An Overview of Neutron Transport Problems and Simulation Techniques.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 International Workshop on Numerical Analysis and Lattice QCD (3rd : 2003 : Edinburgh, Scotland)
 Berlin ; New York : Springer, c2005.
 Description
 Book — xiii, 201 p. : ill.
11. Numerical methods in computational electrodynamics : linear systems in practical applications [2001]
 Van Rienen, Ursula.
 Berlin ; New York : Springer, 2001.
 Description
 Book — xii, 375 p. : ill. (some col.) ; 24 cm.
 Summary

This interdisciplinary book deals with the solution of large linear systems as they typically arise in computational electrodynamics. It presents a collection of topics which are important for the solution of real life electromagnetic problems with numerical methods  covering all aspects ranging from numerical mathematics up to measurement techniques. Special highlights include a first detailed treatment of the Finite Integration Technique (FIT) in a book  in theory and applications, a documentation of most recent algorithms in use in the field of Krylov subspace methods in a unified style, a discussion on the interplay between simulation and measurement with many practical examples.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QC631.3 .V36 2001  Available 
 Berlin ; New York : Springer, c2000.
 Description
 Book — viii, 184 p. : ill. ; 24 cm.
 Summary

The book with contributions from the joint interdisciplinary workshop covers important numerical bottleneck problems from lattice quantum chromodynamics: 1) The computation of Green's functions from huge sparse linear systems and the determination of flavorsinglet observables by stochastic estimates of matrix traces can both profit from novel preconditioning techniques and algebraic multilevel algorithms. 2) The exciting overlap fermion formulation requires the solution of linear systems including a matrix sign function, an extremely demanding numerical task that is tackled by Lanczos/projection methods. 3) Realistic simulations of QCD must include three light dynamical quark flavors with nondegenerate masses. Algorithms using polynomial approximations of the matrix determinant can deal with this situation. The volume aims at stimulating synergism and creating new links between lattice quantum and numerical analysis.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QC793.3 .G38 N86 2000  Available 
 Computational Methods in Transport Workshop (2006)
 Berlin : Springer, ©2008.
 Description
 Book — 1 online resource (x, 326 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 Verification (Mostly) for High Energy Density Radiation Transport: Five Case Studies. A General Strategy for PhysicsBased Model Validation Illustrated with Earthquake Phenomenology, Atmospheric Radiative Transfer, and Computational Fluid Dynamics. Spectral Solvers to NonConservative Transport for NonLinear Interactive Systems of Boltzmann Type. The Art of Analytical Benchmarking. Implicit Monte Carlo Radiation Transport Simulations of Four Test Problems. The Prompt Spectrum of a Radiating Sphere: Benchmark Solutions for Diffusion and Transport. Some Verification Problems with Possible Transport Applications. Canopy Reflectance Model Benchmarking: RAMI and the ROMC. Uncertainty and Sensitivity Analysis for Models of Complex Systems. A Brief Overview of the StateofthePractice and Current Challenges of Solution Verification. Expert Panel Opinion and Global Sensitivity Analysis for Composite Indicators. A Practical Global Sensitivity Analysis Methodology for MultiPhysics Applications.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Cham : Springer, 2014.
 Description
 Book — 1 online resource (x, 282 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 Carsten A. Ullrich, Timedependent densityfunctional theory: features and challenges, with a special view on matter under extreme conditions
 Aurora PribramJones, Stefano Pittalis, E.K.U. Gross, and Kieron Burke, Thermal Density Functional Theory in Context
 Valentin V. Karasiev, Travis Sjostrom, Debajit Chakraborty, James W. Dufty, Keith Runge, Frank E. Harris, and S.B. Trickey, Innovations in FiniteTemperature Density Functionals
 Hannes Schulz and Andreas Görling, Toward a comprehensive treatment of temperature in electronic structure calculations: Nonzerotemperature HartreeFock and exactexchange KohnSham methods
 Ethan Brown, Miguel A Morales, Carlo Pierleoni, and David Ceperley, Quantum Monte Carlo techniques and applications for warm dense matter
 D. Saumon, C.E. Starrett, J.A. Anta, W. Daughton and G. Chabrier, The structure of warm dense matter modeled with an average atom model with ionion correlations
 Carsten Fortmann, Dynamical structure factor in High Energy Density Plasmas and application to XRay Thomson Scattering
 Winfried Lorenzen, Andreas Becker, and Ronald Redmer, Progress in Warm Dense Matter and Planetary Physics
 Tomorr Haxhimali and Robert E. Rudd, Diffusivity of Mixtures in Warm Dense Matter Regime
 Paul E. Grabowski, A Review of Wave Packet Molecular Dynamics.
 Computational Methods in Transport Workshop (2006)
 Berlin : Springer, c2008.
 Description
 Book — x, 326 p. : ill. (some col.).
 Hrúz, B. (Branislav)
 Berlin : Springer, c2008.
 Description
 Book — 229 p. : ill.
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.