Tutkimuksen tuki ELMER Solver — yleinen FEM-ratkaisija Juha Ruokolainen ja Ville Savolainen [removed], [removed]

Source URL: www.csc.fi

Evidence of problem-solving transfer in web-based Socratic tutor Rasil Warnakulasooriya, David J. Palazzo & David E. Pritchard Dept. of Physics & Research Laboratory of Electronics Massachusetts Institute of Technology C

Source URL: relate.mit.edu

• Solver
• Education
• Neuropsychology
• Psychology
• Creativity
• Educational psychology
• Neuropsychological assessment
• Problem solving

Aerodynamic analysis of the 2nd AIAA High Lift Prediction Workshop by a LatticeBoltzmann Method solver Ruddy Brionnaud David M. Holman Miguel Chavez Modena

Source URL: www.xflowcfd.com

• Partial differential equations
• Science
• Lattice Boltzmann methods
• Ludwig Boltzmann
• Statistical mechanics
• Navier–Stokes equations
• Boltzmann equation
• Boltzmann
• Fluid dynamics
• Physics
• Computational fluid dynamics

Time to completion reveals problem-solving transfer Rasil Warnakulasooriya & David E. Pritchard Dept. of Physics & Research Laboratory of Electronics Massachusetts Institute of Technology Cambridge, Massachusetts 02139.

Source URL: relate.mit.edu

• Problem solving
• Educational psychology
• Numerical software
• Solver

Elmer – finite element package for the solution of partial differential equations Peter R˚ aback, Pirjo-Leena Forsstr¨om, Mikko Lyly and Matti Gr¨ohn CSC, the Finnish IT Center for Science Overview of Elmer

Source URL: www.csc.fi

• Fluid dynamics
• Chemical engineering
• Partial differential equations
• Navier–Stokes equations
• Fluid-structure interaction
• Incompressible flow
• Heat transfer
• Compressible flow
• Elmer FEM solver
• Fluid mechanics
• Physics
• Aerodynamics

2007, 88, 103–113 JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR NUMBER

Source URL: relate.mit.edu

• Numerical software
• Operations research
• Mathematical optimization
• Numerical linear algebra
• Mathematical modeling
• Solver
• Logistic function
• AMPL
• Lis
• Numerical analysis
• Mathematics
• Software

Satisfiability Modulo Software Michal Jan Moskal PhD Thesis Supervisor: Prof. Leszek Pacholski

Source URL: research.microsoft.com

• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Numerical software
• Satisfiability Modulo Theories
• Boolean satisfiability problem
• Solver
• Lis
• Theoretical computer science
• Applied mathematics
• Mathematics

Overview of Elmer Peter Råback and Mika Malinen CSC – IT Center for Science May 28, [removed]

Source URL: www.nic.funet.fi

• VisIt
• Visualization
• Mesh generation
• Man page
• Lis
• Gmsh
• Elmer FEM solver
• OpenFOAM
• Software
• Application software
• Numerical software

SBML ODE SOLVER LIBRARY: EXTENSIONS FOR INVERSE ANALYSIS James Lu1 , Stefan M¨uller1 , Rainer Machn´e2, Christoph Flamm2 1 Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of S

Source URL: www.tbi.univie.ac.at

• Operations research
• Differential equations
• Mathematical optimization
• Optimal control
• Operator theory
• Dirac delta function
• Differential algebraic equation
• Sensitivity analysis
• Parameter
• Mathematical analysis
• Mathematics
• Generalized functions

HAMPI: A Solver for String Constraints Adam Kie˙zun Vijay Ganesh [removed]

Source URL: www.pgbovine.net

• Computer programming
• Compiler construction
• Programming paradigms
• Data management
• SQL
• SQL injection
• Context-free grammar
• Parsing
• Concolic testing
• Computing
• Formal languages
• Software engineering