%{search_type} search results

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)

• The Tight Bound of First Fit Decreasing Bin-Packing 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
• CR-precis: 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 Min-Sum and Min-Max Disjoint Paths Problems
• A Digital Watermarking Scheme Based on Singular Value Decomposition
• A New (t, n)??Threshold Scheme Based on Difference Equations
• Clique-Transversal Sets in Cubic Graphs
• On the L(h, k)-Labeling of Co-comparability Graphs
• An Approximation Algorithm for the General Mixed Packing and Covering Problem
• Extending the Hardness of RNA Secondary Structure Comparison
• On the On-Line Weighted k-Taxi Problem
• Model Futility and Dynamic Boundaries with Application in Banking Default Risk Modeling
• On the Minimum Risk-Sum Path Problem
• Constrained Cycle Covers in Halin Graphs
• Optimal Semi-online 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 Copula-CVaR 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
• All-Pairs Ancestor Problems in Weighted Dags
• Streaming Algorithms for Data in Motion
• A Scheduling Problem with One Producer and the Bargaining Counterpart with Two Producers
• Phrase-Based Statistical Language Modeling from Bilingual Parallel Corpus
• Optimal Commodity Distribution for a Vehicle with Fixed Capacity Under Vendor Managed Inventory
• On-Line Bin Packing with Arbitrary Release Times
• On the Complexity of the Max-Edge-Coloring Problem with Its Variants
• Quantitative Analysis of Multi-hop Wireless Networks Using a Novel Paradigm
• Inverse Min-Max Spanning Tree Problem Under the Weighted Sum-Type 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 k-Trees with Linear Time Encoding and Decoding
• Market-Based 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 RMQ-Information 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 Semi-online Scheduling Algorithms on a Small Number of Machines
• Lower Bounds on Edge Searching.

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium On Combinatorics, Algorithms, Probabilistic and Experimental Methodologies, ESCAPE 2007, held in Hangzhou, China in April 2007. The 46 revised full papers presented were carefully reviewed and selected from 362 submissions. The papers address practical large data processing problems with different, and eventually converging, methodologies from major important disciplines such as computer science, combinatorics, and statistics. The symposium provides an interdisciplinary forum for researchers across their discipline boundaries to exchange their approaches, to search for ideas, methodologies, and tool boxes, to find better, faster and more accurate solutions thus fostering innovative ideas as well as to develop research agenda of common interest.

• Part I: Equations of motion and some basic ideas on discretizations.- Pat II. Conservation laws, finite-volume methods, remapping techniques and spherical grids.- Part III. Some aspects of atmospheric dynamical cores.
• (source: Nielsen Book Data)

This book surveys recent developments in numerical techniques for global atmospheric models. It is based upon a collection of lectures prepared by leading experts in the field. The chapters reveal the multitude of steps that determine the global atmospheric model design. They encompass the choice of the equation set, computational grids on the sphere, horizontal and vertical discretizations, time integration methods, filtering and diffusion mechanisms, conservation properties, tracer transport, and considerations for designing models for massively parallel computers. A reader interested in applied numerical methods but also the many facets of atmospheric modeling should find this book of particular relevance.
(source: Nielsen Book Data)

• Stabilized FEM-BEM 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.- High-Order Methods for High-Frequency Scattering Applications.- Recent Studies on Inverse Medium Scattering Problems.- Time Reversal of Electromagnetic Waves.- Addition Theorem.
• (source: Nielsen Book Data)

This is nothing less than an essential text in what is a new and growing discipline. Electromagnetic modeling and computations is expanding as a result of the steadily increasing demand for designing electrical devices, modeling electromagnetic materials, and simulating electromagnetic fields in nanoscale structures. The aim of this volume is to bring together prominent worldwide experts to review state-of-the-art developments and future trends of modeling and computations in electromagnetics.
(source: Nielsen Book Data)

• 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)

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, it functions as a starting point for readers interested in adaptive modeling, in atmospheric sciences and beyond. Coverage includes paradigms of adaptive techniques, such as error estimation and adaptation criteria. Mesh generation methods are presented for triangular/tetrahedral and quadrilateral/hexahedral meshes, with a special section on initial meshes for the sphere.
(source: Nielsen Book Data)

• 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)

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, it functions as a starting point for readers interested in adaptive modeling, in atmospheric sciences and beyond. Coverage includes paradigms of adaptive techniques, such as error estimation and adaptation criteria. Mesh generation methods are presented for triangular/tetrahedral and quadrilateral/hexahedral meshes, with a special section on initial meshes for the sphere.
(source: Nielsen Book Data)

• Astrophysics.- Radiation Hydrodynamics in Astrophysics.- Radiative Transfer in Astrophysical Applications.- Neutrino Transport in Core Collapse Supernovae.- Discrete-Ordinates Methods for Radiative Transfer in the Non-Relativistic Stellar Regime.- Atmospheric Science, Oceanography, and Plant Canopies.- Effective Propagation Kernels in Structured Media with Broad Spatial Correlations, Illustration with Large-Scale 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 3-D 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.- Non-LTE Radiation Transport in High Radiation Plasmas.- Finite-Difference Methods Implemented in SATURN Complex to Solve Multidimensional Time-Dependent Transport Problems.- Implicit Solution of Non-Equilibrium 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.- KM-Method of Iteration Convergence Acceleration for Solving a 2D Time-Dependent Multiple-Group 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 Time-Dependent SN Equations on Parallel Architectures.- Different Algorithms of 2D Transport Equation Parallelization on Random Non-Orthogonal Grids.- Neutron Transport.- Parallel Deterministic Neutron Transport with AMR.- An Overview of Neutron Transport Problems and Simulation Techniques.
• (source: Nielsen Book Data)

Thereexistawiderangeofapplicationswhereasigni?cantfractionofth e- mentum and energy present in a physical problem is carried by the transport of particles. Depending on the speci?capplication, the particles involved may be photons, neutrons, neutrinos, or charged particles. Regardless of which phenomena is being described, at the heart of each application is the fact that a Boltzmann like transport equation has to be solved. The complexity, and hence expense, involved in solving the transport problem can be understood by realizing that the general solution to the 3D Boltzmann transport equation is in fact really seven dimensional: 3 spatial coordinates, 2 angles, 1 time, and 1 for speed or energy. Low-order appro- mations to the transport equation are frequently used due in part to physical justi?cation but many in cases, simply because a solution to the full tra- port problem is too computationally expensive. An example is the di?usion equation, which e?ectively drops the two angles in phase space by assuming that a linear representation in angle is adequate. Another approximation is the grey approximation, which drops the energy variable by averaging over it. If the grey approximation is applied to the di?usion equation, the expense of solving what amounts to the simplest possible description of transport is roughly equal to the cost of implicit computational ?uid dynamics. It is clear therefore, that for those application areas needing some form of transport, fast, accurate and robust transport algorithms can lead to an increase in overall code performance and a decrease in time to solution.
(source: Nielsen Book Data)

• Astrophysics.- Radiation Hydrodynamics in Astrophysics.- Radiative Transfer in Astrophysical Applications.- Neutrino Transport in Core Collapse Supernovae.- Discrete-Ordinates Methods for Radiative Transfer in the Non-Relativistic Stellar Regime.- Atmospheric Science, Oceanography, and Plant Canopies.- Effective Propagation Kernels in Structured Media with Broad Spatial Correlations, Illustration with Large-Scale 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 3-D 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.- Non-LTE Radiation Transport in High Radiation Plasmas.- Finite-Difference Methods Implemented in SATURN Complex to Solve Multidimensional Time-Dependent Transport Problems.- Implicit Solution of Non-Equilibrium 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.- KM-Method of Iteration Convergence Acceleration for Solving a 2D Time-Dependent Multiple-Group 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 Time-Dependent SN Equations on Parallel Architectures.- Different Algorithms of 2D Transport Equation Parallelization on Random Non-Orthogonal Grids.- Neutron Transport.- Parallel Deterministic Neutron Transport with AMR.- An Overview of Neutron Transport Problems and Simulation Techniques.
• (source: Nielsen Book Data)

Thereexistawiderangeofapplicationswhereasigni?cantfractionofth e- mentum and energy present in a physical problem is carried by the transport of particles. Depending on the speci?capplication, the particles involved may be photons, neutrons, neutrinos, or charged particles. Regardless of which phenomena is being described, at the heart of each application is the fact that a Boltzmann like transport equation has to be solved. The complexity, and hence expense, involved in solving the transport problem can be understood by realizing that the general solution to the 3D Boltzmann transport equation is in fact really seven dimensional: 3 spatial coordinates, 2 angles, 1 time, and 1 for speed or energy. Low-order appro- mations to the transport equation are frequently used due in part to physical justi?cation but many in cases, simply because a solution to the full tra- port problem is too computationally expensive. An example is the di?usion equation, which e?ectively drops the two angles in phase space by assuming that a linear representation in angle is adequate. Another approximation is the grey approximation, which drops the energy variable by averaging over it. If the grey approximation is applied to the di?usion equation, the expense of solving what amounts to the simplest possible description of transport is roughly equal to the cost of implicit computational ?uid dynamics. It is clear therefore, that for those application areas needing some form of transport, fast, accurate and robust transport algorithms can lead to an increase in overall code performance and a decrease in time to solution.
(source: Nielsen Book Data)

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)

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 flavor-singlet observables by stochastic estimates of matrix traces can both profit from novel preconditioning techniques and algebraic multi-level 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 non-degenerate 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)

• Verification (Mostly) for High Energy Density Radiation Transport: Five Case Studies.- A General Strategy for Physics-Based Model Validation Illustrated with Earthquake Phenomenology, Atmospheric Radiative Transfer, and Computational Fluid Dynamics.- Spectral Solvers to Non-Conservative Transport for Non-Linear 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 State-of-the-Practice and Current Challenges of Solution Verification.- Expert Panel Opinion and Global Sensitivity Analysis for Composite Indicators.- A Practical Global Sensitivity Analysis Methodology for Multi-Physics Applications.
• (source: Nielsen Book Data)

The focus of this book deals with a cross cutting issue affecting all transport disciplines, whether it be photon, neutron, charged particle or neutrino transport. That is, verification and validation. In this book, we learn what the astrophysicist, atmospheric scientist, mathematician or nuclear engineer do to assess the accuracy of their code. What convergence studies, what error analysis, what problems do each field use to ascertain the accuracy of their transport simulations.
(source: Nielsen Book Data)

• Carsten A. Ullrich, Time-dependent density-functional theory: features and challenges, with a special view on matter under extreme conditions
• Aurora Pribram-Jones, 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 Finite-Temperature Density Functionals
• Hannes Schulz and Andreas Görling, Toward a comprehensive treatment of temperature in electronic structure calculations: Non-zero-temperature Hartree-Fock and exact-exchange Kohn-Sham 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 ion-ion correlations
• Carsten Fortmann, Dynamical structure factor in High Energy Density Plasmas and application to X-Ray 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.

Warm Dense Matter (WDM) occupies a loosely defined region of phase space intermediate between solid, liquid, gas, and plasma, and typically shares characteristics of two or more of these phases. WDM is generally associated with the combination of strongly coupled ions and moderately degenerate electrons, and careful attention to quantum physics and electronic structure is essential. The lack of a small perturbation parameter greatly limits approximate attempts at its accurate description. Since WDM resides at the intersection of solid state and high energy density physics, many high energy density physics (HEDP) experiments pass through this difficult region of phase space. Thus, understanding and modeling WDM is key to the success of experiments on diverse facilities. These include the National Ignition Campaign centered on the National Ignition Facility (NIF), pulsed-power driven experiments on the Z machine, ion-beam-driven WDM experiments on the NDCX-II, and fundamental WDM research at the Linear Coherent Light Source (LCLS). Warm Dense Matter is also ubiquitous in planetary science and astrophysics, particularly with respect to unresolved questions concerning the structure and age of the gas giants, the nature of exosolar planets, and the cosmochronology of white dwarf stars. In this book we explore established and promising approaches to the modeling of WDM, foundational issues concerning the correct theoretical description of WDM, and the challenging practical issues of numerically modeling strongly coupled systems with many degrees of freedom.