Emotion Recognition in Virtual Reality: Creation and validation of a VR-based multi-modal emotion recognition dataset

Towards More Effective Querying of Medical Literature in Alexandria3K: How useful can Alexandria3K be for performing literature reviews

Use of LLMs to Improve Affiliation Disambiguation in Alexandria3k

Topic Classification of Publications: Identifying publication topics based on existing journals

Author Name Disambiguation using Large Language Models: Contributions to a system for open reproducible publication research

LightLetter: Contactless Letter Recognition using Ambient Light

A Methodology for Improving gXR5 Speed and Accuracy

Expressing Intent: An evaluation of the Arm Machine Readable Specification

Under-Screen Camera Detection

Refactoring with confidence: Creating and proving the correctness of a refactoring to add arguments to a function in a functional language

Formally proving the correctness of the (un)currying refactoring: Using Agda with a simple Haskell-like programming language

Maybe a List would be better?: Correct by construction Maybe to List refactorings in a Haskell-like language

Proving correctness of refactoring tuples to records: A correct-by-construction approach on a Haskell-like language

Don’t bind yourself to do notation!: Using Agda to Prove Correctness of Refactorings on Monads

Using Newsletters to Analyze Curated Software Testing Content

Dissecting the secrets of software testing education in universities

Topic Analysis on Popular Software Testing Books: Mining Software Testing Knowledge

Mining massive open online courses (MOOCs) for software testing knowledge

Mining software testing knowledge from stack overflow

Self-calibrated plant counting in early crop stand scenarios using deep clustering: Jonacount: make every plant count