Skip to content

DORA cross-database EEG workload portability: supporting data, code and statistical methods

Sep 2026 · Mendeley Data

Abstract

Supporting materials for “Target-independent verification of electroencephalography workload decoders for adaptive human–machine systems.” This dataset contains analysis code, software environment specifications, a public pre-target analytical specification, complete model-selection traces, non-identifying UNIVERSE prediction scores, participant-level AUC summaries, aggregate statistical results, diagnostics, generated figures, and machine-readable tables for a seven-database EEG workload portability audit. Four controlled-workload databases (RITHM, EEGMAT, COG-PBCI and STEW) supplied development evidence; UNIVERSE supplied untouched external confirmation; MultiPhysio-HRC and SenseCobot supplied joint environment-and-reported-effort stress tests. Third-party raw EEG archives and participant-level derived feature matrices are excluded. Source accessions and licenses are listed in data_sources.tsv. Original package materials are licensed under CC BY 4.0; analysis code is additionally licensed under the MIT License. Version 2 aligns the record and documentation with the current Engineering Applications of Artificial Intelligence submission. Scientific data, analysis code, results, predictions, figures and statistical methods are unchanged from Version 1. The canonical prediction file SHA-256 remains d3be68bf4efa9bd7ef5d72e6bd8604cbbb0dc1ba42cbf935fb34f6dae3df827c.

View source

Similar papers

#artificial intelligence Conference Open access Jun 2018

Gibson Env: Real-World Perception for Embodied Agents

This paper investigates developing real-world perception for active agents, proposes Gibson Environment for this purpose, and showcases a set of perceptual tasks learned therein.

F. Xia, Amir Zamir, Zhi-Yang He et al. · 1,069 citations · ⚡112
#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13

Related blog posts

Microsoft Research Blog Nov 5, 2026

Formally verifying agent-written full-stack web apps with PDD Kit

AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.