From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “mathematics achievement” 19

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Interdisciplinary Integration of Computational Thinking in K-12 Education: A Systematic Review
2023 Informatics in Education review Computer Science Teaching and Learning Programming Open access

Sabiha Yeni, Nataša Grgurina, Mara Saeli, Felienne Hermans, Jos Tolboom, Erik Barendsen

43

citations
Machine Learning as a Novel Method to Support Therapeutic Drug Management and Precision Dosing
2021 Clinical Pharmacology & Therapeutics article Computer Science Machine Learning in Healthcare Open access

Teun van Gelder, Alexander A. T. M. M. Vinks

25

citations
Goal Ontology for Personalized Learning and Its Implementation in Child's Health Self-Management Support
2023 IEEE Transactions on Learning Technologies article Computer Science Intelligent Tutoring Systems and Adaptive Learning Open access

Rifca Peters, Willeke van Vught, Joost Broekens, Mark A. Neerincx

13

citations
Large physics models: towards a collaborative approach with large language models and foundation models
2025 The European Physical Journal C article Computer Science Artificial Intelligence Applications Open access

Kristian González Barman, S. Caron, Emily Sullivan, Henk W. de Regt, Roberto Ruiz de Austri, Mieke Boon, +16 more

11

citations
Residual bayesian attention networks for uncertainty quantification in regression tasks
2025 Scientific Reports article Computer Science Gaussian Processes and Bayesian Inference Open access

Youliang Chen, Wencan Guan, Rafig Azzam

10

citations
Large Physics Models: Towards a collaborative approach with Large Language Models and Foundation Models
2025 Archive ouverte UNIGE (University of Geneva) article Computer Science Artificial Intelligence Applications Open access

Kristian González Barman, S. Caron, Emily Sullivan, Henk W. de Regt, Roberto Ruiz de Austri, Mieke Boon, +15 more

1

citations
Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

1

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

Subbarao Kambhampati B

0

citations
A benchmark of expert-level academic questions to assess AI capabilities
2026 Nature article Computer Science Topic Modeling Open access

Long Phan, Alice Gatti, Nathaniel Li, Adam Khoja, Richard Ren, Jason Hausenloy, +86 more

65

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

11

citations
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture
2022 IEEE Intelligent Vehicles Symposium conference-paper Computer Science Real-Time Systems Scheduling

Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee

9

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture
2022 preprint Computer Science Real-Time Systems Scheduling Open access

Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee

1

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
INTELLIGENT TECHNOLOGY FOR OPTIMIZING THE PROJECT-BASED APPROACH TO TEACHING STUDENTS USING LEARNING MANAGEMENT SYSTEMS
2025 Bulletin of National Technical University KhPI Series System Analysis Control and Information Technologies article Computer Science Recommender Systems and Techniques Open access

Volodymyr Sokol, Mykhaylo Godlevskyi, Mariia Oleksiivna Bilova, Roman Tupkalenko

1

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
Predictive Coding Networks and Inference Learning: Tutorial and Survey
2026 ACM Computing Surveys article Computer Science Neural Networks and Applications Open access

B.H. van Zwol, Ro Jefferson, Egon L. van den Broek

1

citations
Rethinking Evaluation Paradigms in IBP-based Certified Training
2026 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Konstantin Kaulen, Hadar Shavit, Holger H. Hoos

0

citations
A Systematic Review of PDE-based models for advanced rendering in computer graphics: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Computer Graphics and Visualization Techniques Open access

Emily L. Thompson, Karl Schneider, Alexei Petrov

0

citations

19 results