Master thesis by Maria Khakimova: "Enhancing Proof Assistant Error Messages with Hints: A User Study"

"We implemented hint enhancements for the error messages displayed upon three common mistakes: forgetting whitespace, using confusable Unicode characters, and supplying too few arguments to a function. A between-participants user study was then conducted with 70 students [..]"

https://repository.tudelft.nl/record/uuid:52513287-7149-41f1-a8e8-8e38696cb283

#Agda #DependentTypes #ProofAssistants #ErrorMessages #Usability #UserStudy #master #thesis

ELEGNT: Expressive and Functional Movement Design for Non-anthropomorphic Robot https://arxiv.org/pdf/2501.12493 #AI #robots #UserStudy (like the Pixar expressive desk lamp)
ELEGNT: Expressive and Functional Movement Design for Non-anthropomorphic Robot https://arxiv.org/pdf/2501.12493 #AI #robots #UserStudy (like the Pixar expressive desk lamp)

Looking for participants!

We are running a user study to evaluate a prototype interface for discussing data visualizations. If you are interested in our work and want to support our research, join one of the sessions!

Register here: https://forms.gle/tAd5EHWKwy8vJxQw6

#UserStudy #DataVis #DataViz

Visualization Discussion Evaluation

Looking for participants! We’re running a user study to evaluate a prototype interface for discussing data visualizations. If you are interested in our work and want to support our research, select one of the sessions below. Sessions will be conducted online via Zoom. No prior knowledge needed. Unfortunately, we can’t offer monetary compensation.

Google Docs
The 6 Types of Conversations with Generative AI https://www.nngroup.com/articles/AI-conversation-types/ (useful tips for designers of AI interfaces) #AI #UserStudy #usability
The 6 Types of Conversations with Generative AI

When interacting with generative-AI bots, users engage in six types of conversations, depending on their skill levels and their information needs. Interfaces for UI bots should support and accommodate this diversity of conversation styles.

Nielsen Norman Group

I am searching for #UserStudy #participants for my master’s thesis 🤓

Topic: #UX & #accessibility #overlay

Prerequisite:
- #visual #impairment or #disability
- time in June or July for ~60min
- Online

If this sounds interesting, please fill out this pre-selection questionnaire: https://forms.office.com/e/DGLK97G1aN (available in German and English)

Sadly I cannot offer compensation (I’m just a student), but I hope that some of you might still be willing to participate 🤗 #a11y

Microsoft Forms

I found a company willing to give me a copy of their website to use during my #UserStudy for my #MasterThesis. But now, the dev they hired to build and maintain the website wants to keep me from accessing the code as it is "his creation".

What are you afraid of? Hiding smth? 🧐😅

Nice to start the year with a publication from a collaboration with Nai Yang and others: Comparison of font size and background color strategies for tag weights on tag maps https://www.tandfonline.com/doi/full/10.1080/15230406.2022.2152098 #cartography #visualization #maps #mapreading #userstudy #eyemovement #tagcloud #geography
Comparison of font size and background color strategies for tag weights on tag maps

Tag weight differences in tag maps are usually reflected by different font sizes. With this strategy, low weighted tags may be ignored and tag sizes may be misjudged due to differing word length, ...

Taylor & Francis