Search
Results
-
An Analysis of Investment Decisions for Energy-Efficient Renovation of Multi-Family Buildings -
(2012)Final Report to the Federal Office of Energy, SwitzerlandReport -
Monte Rosa Hütte
(2012)Heute werden in der Gebäudetechnik gut bewährte Einzelkomponenten eingesetzt, welche in ihrer Funktion weitgehend optimiert sind. Das vorhandene Energiesparpotenzial lässt sich nur ganz erschliessen, wenn auch eine Optimierung des Zusammenspiels dieser Komponenten durchgeführt wird. Ziel dieses Projektes ist es deshalb, Methoden und Werkzeuge zu entwickeln, mit denen das Energie- und Stoffmanagement in modernen Gebäuden optimiert und ...Report -
-
-
Multi-trace boundary integral equations
(2012)We consider the scattering of acoustic or electromagnetic waves at a penetrable object composed of different homogeneous materials. This problem can be recast as a firstkind boundary integral equation posed on the interface trace spaces through what we call a single trace boundary integral equation formulation (STF). Its Ritz-Galerkin discretization by means of low-order piecewise polynomial boundary elements on fine interface triangulations ...Report -
-
Convergence of vanishing capillarity approximations for scalar conservation laws with discontinuous fluxes
(2012)Research ReportFlow of two phases in a heterogeneous porous medium is modeled by a scalar conservation law with a discontinuous coefficient. As solutions of conservation laws with discontinuous coefficients depend explicitly on the underlying small scale effects, we consider a model where the relevant small scale effect is dynamic capillary pressure. We prove that the limit of vanishing dynamic capillary pressure exists and is a weak solution of the ...Report -
Mast- und Schlachtleistungen sowie Fleischqualität von gesömmerten Lämmern
(2012)Synthesebericht Teilprojekt SchafAlpReport -
Statically Checking API Protocol Conformance with Mined Multi-Object Specifications
(2012)Technical ReportThis technical report provides additional details for the paper entitled Statically Checking API Protocol Conformance with Mined Multi-Object Specifications [1]. We formally describe how to translate API usage protocols represented as finite state machines into a relationship-based specification language.Report -
Distributional and Efficiency Impacts of Clean and Renewable Energy Standards for Electricity
(2012)Joint Program Report SeriesWe examine the efficiency and distributional impacts of greenhouse gas policies directed toward the electricity sector in a model that links a “top-down” general equilibrium representation of the U.S. economy with a “bottom-up” electricity-sector dispatch and capacity expansion model. Our modeling framework features a high spatial and temporal resolution of electricity supply and demand, including renewable energy resources and generating ...Report