Robuta

https://repositum.tuwien.at/handle/20.500.12708/73059 reposiTUm: Assertion-based Verification of Signal Processing Systems with Affine Arithmetic signal processingaffine arithmeticassertionbasedverification https://uwspace.uwaterloo.ca/items/94d1ff6a-c688-4f81-a793-e59c007f7ef9/full Affine Arithmetic Based Methods for Power Systems Analysis Considering Intermittent Sources of Power Intermittent power sources such as wind and solar are increasingly penetrating electrical grids, mainly motivated by global warming concerns and government... affine arithmeticpower systemsbasedmethodsanalysis https://iris.unisannio.it/handle/20.500.12070/648 Affine arithmetic-based methodology for energy hub operation-scheduling in the presence of data... affine arithmeticfor energybasedmethodologyhub