2741 search results - page 268 / 549 » Engineering Mathematical Knowledge |
158
click to vote
SIMULATION
2011
14 years 10 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
132
click to vote
SIAMAM
2011
14 years 10 months ago
2011
The coupling between cardiac mechanics and electric signaling is addressed in a nonstandard framework in which the electrical potential dictates the active strain (not stress) of t...
186
click to vote
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
143
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
152
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...