40 citations
- Radboud University NijmegenNL12 papers
- Utrecht UniversityNL7 papers
- Centrum Wiskunde & InformaticaNL6 papers
- Leiden UniversityNL3 papers
- Shahid Beheshti UniversityIR3 papers
- Tilburg UniversityNL3 papers
- Centraal Bureau voor de StatistiekNL2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Eindhoven University of TechnologyNL2 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- Institut Polytechnique de ParisFR2 papers
- Norwegian University of Life SciencesNO2 papers
56 papers
Modelling the Nordic power system expansion with PyPSA-Eur: a comparison with the Nordic Grid Development Perspective 2025
Leonardo Rydin Gorjão, Heidi S. Nygård
We compare the Nordic Grid Development Perspective 2025 (NGDP) with a least-cost transition pathway for the Nordic power system obtained with PyPSA-Eur for the period 2025-2050 und…
Jump-diffusion models of parametric volume-price distributions
Anup Budhathoki, Leonardo Rydin Gorjão, Pedro G. Lind +1
We present a data-driven framework to model the stochastic evolution of volume-price distribution from the New York Stock Exchange (NYSE) equities. The empirical distributions are…
AI in Computational Thinking Education in Higher Education: A Systematic Literature Review
Ebrahim Rahimi, Clara Maathuis
Computational Thinking (CT) is a key skill set for students in higher education to thrive and adapt to an increasingly technology-driven future and workplace. While research on CT…
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
Sanne Wielinga, Jesse Heyninck
Machine learning (ML) techniques play a pivotal role in high-stakes domains such as healthcare, where accurate predictions can greatly enhance decision-making. However, most high-p…
Fair Play for Individuals, Foul Play for Groups? Auditing Anonymization's Impact on ML Fairness
Héber H. Arcolezi, Mina Alishahi, Adda-Akram Bendoukha +1
Machine learning (ML) algorithms are heavily based on the availability of training data, which, depending on the domain, often includes sensitive information about data providers.…
CF-GKAT: Efficient Validation of Control-Flow Transformations
Cheng Zhang, Tobias Kappé, David E. Narváez +1
Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still seve…