693 search results - page 15 / 139 » Toward a Physics of Equations |
SIAMSC
2008
13 years 7 months ago
2008
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
MMAS
2010
Springer
13 years 2 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Physical controls such as knobs, sliders, and buttons are experiencing a revival as many computing systems progress from personal computing architectures towards ubiquitous comput...
NADA
1998
Springer
14 years 13 hour ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...