5499 search results - page 860 / 1100 » Generalized Rewrite Theories |
226
click to vote
SIAMSC
2010
15 years 5 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
194
click to vote
SIMPRA
2010
15 years 5 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
184
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These s...
148
click to vote
TALG
2010
15 years 5 months ago
2010
Fractional hypertree width is a hypergraph measure similar to tree width and hypertree width. Its algorithmic importance comes from the fact that, as shown in previous work [14], ...
207
click to vote
TASLP
2010
15 years 5 months ago
2010
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...