Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1

Source URL: www.mancoosi.org

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Logical truth
• Propositional calculus
• Formal languages
• Automated theorem proving
• Substitution
• Constructible universe
• Well-formed formula
• Boolean satisfiability problem

Technische Universität München Fakultät für Informatik Computational Science and Engineering (Int. Master’s Program) Parallel Refinement and Coarsening of recursively

Source URL: www5.in.tum.de

• Calculus
• Mathematics
• Physics
• Partial differential equations
• Shallow water equations
• Xi
• Differential equation
• Vector space

A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam

Source URL: matita.cs.unibo.it

• Type theory
• Matita
• Agda
• Unification
• Calculus of constructions
• Type system
• HindleyMilner type system
• System F
• Refinement
• Type inference
• Algorithm
• Dependent type

This space is reserved for the Procedia header, do not use it How High a Degree is High Enough for High Order Finite Elements? William F. Mitchell

Source URL: math.nist.gov

• Finite element method
• Numerical analysis
• Partial differential equations
• Mathematical analysis
• Calculus
• Hp-FEM
• Continuum mechanics
• Adaptive mesh refinement
• Multigrid method
• Numerical integration
• P-FEM

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code Alfredo Pironti and Riccardo Sisto Politecnico di Torino Dip. di Automatica e Informatica c.so Duca degli Abruzzi 24, ITorino (Italy

Source URL: alfredo.pironti.eu

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

Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy

Source URL: www.cs.york.ac.uk

• Computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Denotational semantics
• JCSP
• Circus
• Refinement calculus
• Unifying Theories of Programming
• Theoretical computer science
• Computing
• Concurrent computing

Target-Specific Refinement of Multigrid Codes Richard Membarth and Philipp Slusallek Marcel Köster, Roland Leißa, and Sebastian Hack German Research Center for Artificial Intelligence

Source URL: graphics.cg.uni-saarland.de

• Procedural programming languages
• Compiler optimizations
• Subroutines
• Data types
• Lambda calculus
• Multigrid method
• ALGOL 68
• Eval
• Loop tiling
• Software engineering
• Computing
• Computer programming

Curved Mesh Generation and Mesh Refinement using Lagrangian Solid Mechanics Per-Olof Persson∗ University of California, Berkeley, Berkeley, CA[removed], U.S.A. Jaime Peraire†

Source URL: raphael.mit.edu

• Finite element method
• Partial differential equations
• Fluid dynamics
• Boundary element method
• Mesh generation
• Multigrid method
• 3D modeling
• Stretched grid method
• Spatial twist continuum
• Numerical analysis
• Calculus
• Mathematical analysis

On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed]

Source URL: www.lemma-one.com

• Program logic
• Functions and mappings
• Function
• Hoare logic
• Refinement calculus
• S
• Monad
• Uniform space
• Mathematics
• Mathematical logic
• Formal methods