output
20022026
most citedThe Gaia mission

7.1k citations

Showing 2026Show all

11 papers · 1 filter

cs.HC2026

InvestChat: Exploring Multimodal Interaction via Natural Language, Touch, and Pen in an Investment Dashboard

Sarah Lykke Tost, Adson Lucas de Paiva Sales, Henrik Østergaard +2

We designed and implemented InvestChat, a multimodal tablet-based application that supports stock market exploration with multiple coordinated views and an LLM-powered chat. We eva…

cs.PL2026

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)

Philipp G. Haselwarter, Alejandro Aguirre, Simon Oddershede Gregersen +3

Differential privacy is the standard method for privacy-preserving data analysis. The importance of having strong guarantees on the reliability of implementations of differentially…

cs.HC20261 cited

Navig-AI-tion: Navigation by Contextual AI and Spatial Audio

Mathias N. Lystbæk, Haley Adams, Ranjith Kagathi Ananda +6

Audio-only walking navigation can leave users disoriented, relying on vague cardinal directions and lacking real-time environmental context, leading to frequent errors. To address…

cs.HC20262 cited

The Eye-Head Mover Spectrum: Modelling Individual and Population Head Movement Tendencies in Virtual Reality

Jinghui Hu, Ludwig Sidenmark, Hock Siang Lee +1

People differ in how much they move their head versus their eyes when shifting gaze, yet such tendencies remain largely unexplored in HCI. We introduce head movement tendencies as…

econ.EM20265 cited

Do designated market makers provide liquidity during downward extreme price movements?

Mario Bellia, Kim Christensen, Aleksey Kolokolov +2

We study the trading activity of designated market makers (DMMs) in electronic markets using a unique dataset with audit-trail information on trader classification. DMMs may either…

econ.EM20262 cited

The realized empirical distribution function of stochastic variance with application to goodness-of-fit testing

Kim Christensen, Martin Thyrsgaard, Bezirgen Veliyev

We propose a nonparametric estimator of the empirical distribution function (EDF) of the latent spot variance of the log-price of a financial asset. We show that over a fixed time…