Copyright © 2011 Tech Science Press CMC, vol.26, no.3, pp, 2011 H-Adaptive Local Radial Basis Function Collocation Meshless Method

Source URL: www-e6.ijs.si

• Numerical analysis
• Computational fluid dynamics
• Meshfree methods
• Collocation method
• Partial differential equation
• Numerical methods for ordinary differential equations
• Adaptive mesh refinement
• Function
• Mathematics
• Calculus
• Mathematical analysis

J4.3 LARGE-EDDY SIMULATION ACROSS A GRID REFINEMENT INTERFACE USING EXPLICIT FILTERING AND RECONSTRUCTION Lauren Goodfriend1∗, Fotini K. Chow1 , Marcos Vanella2 , and Elias Balaras2 1 Civil and Environmental Engineeri

Source URL: ams.confex.com

• Turbulence models
• Turbulence
• Large eddy simulation
• Adaptive mesh refinement
• Filter
• Grid plan
• Direct numerical simulation
• MEMO Model
• Physics
• Fluid dynamics
• Fluid mechanics

Summary of key policy decisions in 2012 Sponsorship Policy The Sponsorship Policy was updated and approved at the 27 June Board meeting. The refinement of the existing policy provided more clarity about the benefits of s

Source URL: www.vision2020australia.org.au

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement

Source URL: www.cse.unsw.edu.au

• Formal methods
• Logic in computer science
• Model checking
• Satisfiability Modulo Theories
• Static program analysis
• Abstract interpretation
• Abstraction
• C
• Software bug
• Theoretical computer science
• Software engineering
• Computing

Faster GPU Computations Using Adaptive Refinement Craig Donner Henrik Wann Jensen University of California, San Diego ∗ Figure 1: Examples of scenes from [Purcell et alrendered using our methods.

Source URL: graphics.ucsd.edu

• Computing
• Graphics hardware
• Shader
• Virtual reality
• Theoretical computer science
• Mandelbrot set
• Fragment
• Rendering
• Graphics processing unit
• Computer graphics
• Shading
• 3D computer graphics

Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch

Source URL: ai.cs.unibas.ch

• Philosophy of mind
• Programming paradigms
• Theoretical computer science
• Model checking
• Abstraction
• Logic in computer science
• Concept
• Heuristic function
• Combinatory logic
• Thought
• Cognition
• Mind

Additive Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch

Source URL: ai.cs.unibas.ch

• Science
• Heuristic function
• Admissible heuristic
• Heuristic
• Abstraction
• Consistent heuristic
• Friedrich Robert Helmert
• Algorithm
• Shortest path problem
• Heuristics
• Mathematics
• Applied mathematics

Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011

Source URL: calco2011.ecs.soton.ac.uk

• Metalogic
• Institution
• Common Algebraic Specification Language
• Parity of a permutation
• Structure
• Specification language
• Theory
• Model theory
• Mathematics
• Logic

c 2005 by Shripad Vidyadhar Thite. All rights reserved. SPACETIME MESHING FOR DISCONTINUOUS GALERKIN METHODS BY

Source URL: www.win.tue.nl

• 3D modeling
• Mathematics
• Triangulation
• Physics
• Mathematical analysis
• Mesh generation
• Adaptive mesh refinement
• Spacetime

Animation of Adaptive Mesh Refinement Data Matthew Hall David Bock Donna Cox Lorne Leonard National Center for Supercomputing Applications {mahall,dbock,cox,leonard}@ncsa.uiuc.edu 1: Introduction We present a method for

Source URL: avl.ncsa.illinois.edu

• Mathematics
• Data management
• Adaptive mesh refinement
• Volume rendering
• Grid