research
∙
03/02/2023
Complexity of Reasoning with Cardinality Minimality Conditions
Many AI-related reasoning problems are based on the problem of satisfiab...
share
research
∙
07/30/2021
System efficiency of US wind power generation is declining
US Wind power generation has grown significantly over the last decades, ...
research
∙
04/26/2021
Computational Performance of Deep Reinforcement Learning to find Nash Equilibria
We test the performance of deep deterministic policy gradient (DDPG), a ...
research
∙
02/23/2021
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
Logic-based argumentation is a well-established formalism modelling nonm...
research
∙
12/10/2020
Towards a global dynamic wind atlas: A multi-country validation of wind power simulation from MERRA-2 and ERA-5 reanalyses bias-corrected with the Global Wind Atlas
Reanalysis data are widely used for simulating renewable energy and in p...
research
∙
12/09/2019
Machine learning models show similar performance to Renewables.ninja for generation of long-term wind power time series even without location information
Driven by climatic processes, wind power generation is inherently variab...
research
∙
06/03/2019
Parameterised Complexity of Abduction in Schaefer's Framework
Abductive reasoning is a non-monotonic formalism stemming from the work ...
research
∙
06/03/2019
Parameterised Complexity for Abduction
Abductive reasoning is a non-monotonic formalism stemming from the work ...
research
∙
05/21/2019
The perils of automated fitting of datasets: the case of a wind turbine cost model
Rinne et al. conduct an interesting analysis of the impact of wind turbi...
research
∙
04/30/2019
Assessing simulation and bias correction methods for wind power generation in Brazil - can global datasets compete with local measurements
For the integration of higher shares of volatile renewables, it is impor...
research
∙
10/04/2011
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
We investigate the application of Courcelle's Theorem and the logspace v...
research
∙
12/16/2009