Related papers: Statistical-Thermal Model Calculations using THERM…
We present a new probabilistic model checker Storm. Using state-of-the-art libraries, we aim for both high performance and versatility. This extended abstract gives a brief overview of the features of Storm.
Heat, Ventilation and Air Conditioning (HVAC) systems play a critical role in maintaining a comfortable thermal environment and cost approximately 40% of primary energy usage in the building sector. For smart energy management in buildings,…
An elastic-visco-plastic thermomechanical model for the simulation of cold forming and subsequent sintering of ceramic powders is introduced and based on micromechanical modelling of the compaction process of granulates. Micromechanics…
Based on transformation optics (TO), we present and experimentally realize a new thermal carpet cloak. The device, which we call a "thermal carpet", provides a considerable cloaking effect. The device is designed, fabricated and measured to…
As processor performance advances, increasing power densities and complex thermal behaviors threaten both energy efficiency and system reliability. This survey covers more than two decades of research on power and thermal modeling and…
Numerical climate model simulations run at high spatial and temporal resolutions generate massive quantities of data. As our computing capabilities continue to increase, storing all of the data is not sustainable, and thus it is important…
To address the uncertainty in outputs of numerical weather prediction (NWP) models, ensembles of forecasts are used. To obtain such an ensemble of forecasts the NWP model is run multiple times, each time with different formulations and/or…
This work deals with the problem of estimating a photovoltaic generation forecasting model in scenarios where measurements of meteorological variables (i.e. solar irradiance and temperature) at the plant site are not available. A novel…
We propose a thermodynamically consistent general-purpose model describing diffusion of a solute or a fluid in a solid undergoing possible phase transformations and damage, beside possible visco-inelastic processes. Also heat…
Formalism based on equilibrium statistical thermodynamics is applied to communication networks of decision making individuals. It is shown that in statistical ensembles for choice models, properly defined disutility can play the same role…
We provide minimality criteria by construction of calibrations for functionals arising in the theory of Thermal Insulation.
Within path sampling framework, we show that probability distribution divergences, such as the Chernoff information, can be estimated via thermodynamic integration. The Boltzmann-Gibbs distribution pertaining to different Hamiltonians is…
This dataset contains a detailed simulation output that allows the construction and study of different data representations for electromagnetic and hadronic showers in calorimeters. It is published so that optimal data representations can…
We give a prescription for calculating the high-temperature expansion of the thermal sunset integral to arbitrary order. We derive all terms odd in $T$, and rederive previous results up to $\mathcal{O}(T^0) $ for both bosonic and fermionic…
Within the framework of thermofield dynamics, we construct a thermalized coherent thermal state, which is a general type of the coherent state with the thermal effects and can be presumably produced experimentally. The wavefunction and the…
Thermal diffusivity measurements of samples transmitting thermal radiation require adjustments to the data treatment procedures in laser flash analysis. Conventionally, an unconstrained diathermic model is used. Current results show that…
We present LEMURS: an extensive dataset of simulated calorimeter showers designed to support the development and benchmarking of fast simulation methods in high-energy physics, most notably providing a step towards the development of…
Thermal models are commonly used to interpret heavy-ion data on particle yields and spectra and to extract the conditions of chemical and thermal freeze-out in heavy-ion collisions. I discuss the usefulness and limitations of such thermal…
For the recently introduced \mu-deformed analog of Bose gas model (\mu-Bose gas model) we study some thermodynamical aspects. Namely, we calculate total number of particles and, from it, the deformed partition function, both involving…
Conducting user studies that involve physiological and behavioral measurements is very time-consuming and expensive, as it not only involves a careful experiment design, device calibration, etc. but also a careful software testing. We…