2119 search results - page 205 / 424 » Structure-Preserving Model Reduction |
106
click to vote
IDEAL
2009
Springer
15 years 9 months ago
2009
Springer
Improving the detection of thermal insulation in buildings –which includes the development of models for heating and ventilation processes and fabric gain - could significantly i...
143
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
103
click to vote
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
102
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
121
click to vote
ISNN
2007
Springer
15 years 9 months ago
2007
Springer
This paper investigates a mechanism for reliable generation of sparse code in a sparsely connected, hierarchical, learning memory. Activity reduction is accomplished with local com...