Refinement - PDFSEARCH.IO - Document Search Engine

Refinement
Results: 838

#	Item
761	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
762	A geometric multigrid method based on L-shaped coarsening for PDEs on stretched grids H. bin Zubair∗1 , S. P. MacLachlan2, and C. W. Oosterlee3 1 Numerical Analysis Group, DIAM, Faculty EEMCS, Delft University of Tech Add to Reading List Source URL: neumann.math.tufts.edu Language: English - Date: 2008-07-01 09:12:49 Partial differential equations Multigrid method Wavelets Adaptive mesh refinement Tiling Grid Regular grid Relaxation Numerical analysis Mathematics Calculus
763	Microsoft Word - SU2_release2_flyer_v3.docx Add to Reading List Source URL: su2.stanford.edu Language: English - Date: 2014-06-17 15:53:41 VisIt Adaptive mesh refinement Unstructured grid Computational fluid dynamics Application software Science Fluid dynamics Software Mathematical optimization Shape optimization
764	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
765	BETA CAE systems S.A. Kato Scholari, Thessaloniki GR-57500, Epanomi Greece tel: +[removed] Add to Reading List Source URL: www.beta-cae.gr Language: English - Date: 2014-06-03 09:18:23 Adaptive mesh refinement Computer-aided engineering Application software Technology Computational science ANSA Pre-processor Product lifecycle management Nastran BETA CAE Systems S.A.
766	A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:37 Data types Software engineering 3D computer graphics Rendering Function Type system Tuple Tagged union C++ classes Type theory Mathematics Computing
767	Geometry generation Dynamic mesh and adaptive refinement Case setup Solution monitoring Visualization Post processing Add to Reading List Source URL: www.wolfdynamics.com Language: English - Date: 2014-05-08 10:15:27 Computational fluid dynamics Dynamics Computational science OpenFOAM Computational physics Fluid-structure interaction Mathematical optimization Multiphysics Tecplot Fluid dynamics Science Fluid mechanics
768	Solving Partial Differential Equations Using The Chombo Framework for Block-Structured Adaptive Mesh Refinement Algorithms Dan Martin Applied Numerical Algorithms Group (ANAG) Lawrence Berkeley National Laboratory Add to Reading List Source URL: www.ipam.ucla.edu Language: English - Date: 2005-03-23 19:12:58 Fortran Adaptive mesh refinement Regular grid Computing Software engineering Computer programming
769	Talking Points for the Community Readiness Model • The Community Readiness Model was developed 17 years ago at Colorado State University. Native communities assisted in the refinement and usability of the Model. Add to Reading List Source URL: www.happ.colostate.edu Language: English - Date: 2011-05-24 14:14:14 Health Emergency management Public safety Management Human behavior Crime Dispute resolution Violence
770	Representation and Use of Explicit Justifications for Knowledge Base Refinement Add to Reading List Source URL: www.reidgsmith.com Language: English - Date: 2013-05-22 10:53:23 Ethology Justification Knowledge representation Metatheory Theory of justification Reason maintenance Abductive reasoning Error Belief Knowledge Epistemology Critical thinking

UPDATE