5510 search results - page 405 / 1102 » Mathematics |
174
click to vote
WSC
2007
15 years 9 months ago
2007
Computer simulation presents a variety of opportunities for high school students to receive exposure to mathematics and engineering in the real world. We describe in a highlevel w...
141
Voted
AISC
2008
Springer
15 years 9 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
187
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
162
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
214
click to vote
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...