Results 301 to 310 of about 863,403 (336)
Some of the next articles are maybe not open access.
Problem Solvers: Problem And Problem Solvers: Solutions
Teaching Children Mathematics, 2010The classic question of mixing water and wine (Ball 1896, p. 27) is the basis of the May problem, which can be solved without using computation.
Marie Hauk, Beverley Kula
openaire +1 more source
IEEE Transactions on Acoustics, Speech, and Signal Processing, 1985
A novel algorithm for computing the minimum eigenvalue and associated eigenvector is presented. This algorithm is a derivative of the inverse iteration method which requires a linear system to be solved in each iteration. Taking advantage of the Toeplitz structure, a pipelined Toeplitz system solver can be applied to solve the Toeplitz system in O(N ...
Yu Hen Hu, Sun-Yuan Kung
openaire +2 more sources
A novel algorithm for computing the minimum eigenvalue and associated eigenvector is presented. This algorithm is a derivative of the inverse iteration method which requires a linear system to be solved in each iteration. Taking advantage of the Toeplitz structure, a pipelined Toeplitz system solver can be applied to solve the Toeplitz system in O(N ...
Yu Hen Hu, Sun-Yuan Kung
openaire +2 more sources
Creativity for problem solvers
AI & SOCIETY, 2007This paper presents some modern and interdisciplinary concepts about creativity and creative processes specially related to problem solving. Central publications related to the theme are briefly reviewed. Creative tools and approaches suitable to support problem solving are also presented.
openaire +1 more source
Computing, 1996
The author is concerned with the robustness of multigrid solvers for discrete rotated anisotropic diffusion equations and discrete convection-diffusion equations with respect to variations in problem-related parameters. In particular, he develops two-grid methods relying on Schur complement approximations whose convergence is studied by means of a ...
openaire +3 more sources
The author is concerned with the robustness of multigrid solvers for discrete rotated anisotropic diffusion equations and discrete convection-diffusion equations with respect to variations in problem-related parameters. In particular, he develops two-grid methods relying on Schur complement approximations whose convergence is studied by means of a ...
openaire +3 more sources
Newton Solver Stabilization for Stokes Solvers in Geodynamic Problems
Geophysical Research Abstracts, 2017The most commonly used method by the geodynamical community for solving non-linear equations is the Picardfixed-point iteration. However, the Newton method has recently gained interest within this community becauseit formally leads to quadratic convergence close to the solution as compared to the global linear convergence ofthe Picard iteration.
Fraters, M.R.T. +3 more
openaire +2 more sources
ICGA Journal, 2012
The American Crossword Puzzle Tournament, or ACPT, is America’s largest crossword competition. In 2012, a computer program – DR.FILL – was a participant. This paper discusses the algorithms used by DR.FILL to solve the sorts of crosswords that appear in the tournament and the program’s performance. With 592 human competitors, the program placed 141st.
openaire +1 more source
The American Crossword Puzzle Tournament, or ACPT, is America’s largest crossword competition. In 2012, a computer program – DR.FILL – was a participant. This paper discusses the algorithms used by DR.FILL to solve the sorts of crosswords that appear in the tournament and the program’s performance. With 592 human competitors, the program placed 141st.
openaire +1 more source
2004
In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation to enable the reader to construct his or her own solver in a very short time.This will allow users of SAT-solvers to make domain specific extensions or ...
Niklas Eén, Niklas Sörensson
openaire +1 more source
In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation to enable the reader to construct his or her own solver in a very short time.This will allow users of SAT-solvers to make domain specific extensions or ...
Niklas Eén, Niklas Sörensson
openaire +1 more source
Celestial Mechanics & Dynamical Astronomy, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Multitasking optimization via an adaptive solver multitasking evolutionary framework
Information Sciences, 2023Yanchi Li, Wenyin Gong, Shuijia Li
exaly
On the Impact of SAT Solvers on Argumentation Solvers. [PDF]
, 2023 Serigne Gning, Jean-Guy Mailly
openaire