Sciweavers

74 search results - page 2 / 15
» Intelligent Automated Grid Generation for Numerical Simulati...
Sort
View
ATAL
2005
Springer
13 years 10 months ago
Development of Self-organising Emergent Applications with Simulation-Based Numerical Analysis
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
Tom De Wolf, Tom Holvoet, Giovanni Samaey
ICCS
2003
Springer
13 years 10 months ago
Self-Adapting Numerical Software and Automatic Tuning of Heuristics
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
Jack Dongarra, Victor Eijkhout
EVOW
2010
Springer
14 years 2 days ago
Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
David Oranchak
GRID
2007
Springer
13 years 11 months ago
A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...
Huidong Yang, Walter Zulehner, Ulrich Langer, Mark...
TABLEAUX
2005
Springer
13 years 10 months ago
Comparing Instance Generation Methods for Automated Reasoning
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
Swen Jacobs, Uwe Waldmann