3191 search results - page 296 / 639 » Qualitative Modeling in Education |
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present the performance of different broadcast schemes for multihop sensor networks based on mathematical modeling. In near future many applications will demand ...
151
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Three-dimensional MEMS magnetometers with use of residual stresses in thin multilayers cantilevers are presented. Half-loop cantilevers based on Lorentz-force deflection convert m...
138
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: In recent years environmental and energy conservation issues have taken the central theme in the global business arena. The reality of rising energy cost and their impact on inte...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...