10891 search results - page 371 / 2179 » Combining Model Reductions |
147
click to vote
WCE
2007
15 years 6 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
146
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
134
Voted
ICIRA
2010
Springer
15 years 3 months ago
2010
Springer
The resistance compensation, especially the friction compensation in the Bowden cable transmission is a difficult issue to be handled. Aimed to the resistance reduction requirement...
158
click to vote
COMPLEXITY
2010
15 years 2 months ago
2010
The increasing sophistication of the tools and results of cellular and molecular neuroscience would appear to suggest that explanatory force in neuroscience is defined by reductio...
106
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
With the increase of design complexities and the decrease of minimal feature sizes, IP reuse is becoming a common practice while crosstalk is becoming a critical issue that must b...