3299 search results - page 362 / 660 » A general mathematics of names |
194
click to vote
4OR
2010
15 years 5 months ago
2010
This a summary of the author's PhD thesis supervised by Leo Liberti, Philippe Baptiste and Daniel Krob and defended on 18 June 2009 at Ecole Polytechnique, Palaiseau, France. ...
180
click to vote
CIDU
2010
15 years 4 months ago
2010
Abstract. Climate models are complex mathematical models designed by meteorologists, geophysicists, and climate scientists to simulate and predict climate. Given temperature predic...
148
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
174
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
180
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...