Information and Computing Sciences

RSS feed

AllSEARCH

sort by:

SOFTWARE

Data underlying the PhD thesis: Accelerating Programmer-Friendly Intermittent Computing (Chapter 6)

software posted on 2023-03-17 in 4TU.ResearchData

DATASET

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)

dataset posted on 2023-03-08 in 4TU.ResearchData

Thom S. Badings

SOFTWARE

Coverage-Driven SLAM Testing

software posted on 2023-01-25 in 4TU.ResearchData

SOFTWARE

Agent-based model software written for the master thesis Scaling Up, Staying Secure

software posted on 2023-01-11 in 4TU.ResearchData

Mike van der Boon

DATASET

Experiment results supporting the master thesis Scaling Up, Staying Secure

dataset posted on 2023-01-11 in 4TU.ResearchData

Mike van der Boon

SOFTWARE

Code for the master thesis "Exploring the Effect of Automation Failure on the Human's Trustworthiness in Human-Agent Teamwork"

software posted on 2023-01-03 in 4TU.ResearchData

Nikki Bouman

DATASET

Data for: NetQASM - A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet

dataset posted on 2022-10-19 in 4TU.ResearchData

SOFTWARE

Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"

software posted on 2022-10-19 in 4TU.ResearchData

Lucas Spierenburg

Screenshots of Virtual Reality Imagery Rescripting tool

dataset posted on 2022-09-22 in 4TU.ResearchData

DATASET

ProVerB: Dataset of Tools and Formats for Program Verification

dataset posted on 2022-07-21 in 4TU.ResearchData

SOFTWARE

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

software posted on 2022-07-19 in 4TU.ResearchData

Peter Lammich

DATASET

Replication Package for the master thesis "An Empirical Assessment on the Limits of Binary Code Summarisation with Transformer-based Models"

dataset posted on 2022-07-14 in 4TU.ResearchData

SOFTWARE

DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations

software posted on 2022-07-05 in 4TU.ResearchData

SOFTWARE

Video Annotation Software

software posted on 2022-06-29 in 4TU.ResearchData

SOFTWARE

Programs to evaluate superoptimizer STOKE.

software posted on 2022-06-20 in 4TU.ResearchData

Przemysław Kowalewski

SOFTWARE

Implementation of Study 1 from Master Thesis Building Interactive Text-to-SQL Systems

software posted on 2022-05-10 in 4TU.ResearchData

Reinier Koops

DATASET

Dataset 1 and 2 from Master Thesis Building Interactive Text-to-SQL Systems

dataset posted on 2022-05-10 in 4TU.ResearchData

Reinier Koops

SOFTWARE

Script to register Figshare dois in Datacite

software posted on 2022-05-03 in 4TU.ResearchData

Egbert Gramsbergen

DATASET

Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code

dataset posted on 2022-03-31 in 4TU.ResearchData

DATASET

Data underlying the publication: “No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis”

dataset posted on 2022-03-01 in 4TU.ResearchData

Arwa Al Alsadi

SOFTWARE

Soft Gripper AR Framework

software posted on 2022-02-18 in 4TU.ResearchData

DATASET

PhD Thesis Artifact: Correct Optimized GPU Programs

dataset posted on 2022-01-31 in 4TU.ResearchData

Mohsen Safari

DATASET

Code and data of research project: The effect of tempo transformations on Essentia’s beat tracking pipelines

dataset posted on 2022-01-14 in 4TU.ResearchData

Vykintas Čivas

DATASET

SAMXL - Virtual Environment for Virtual Reality Development

dataset posted on 2022-01-03 in 4TU.ResearchData

SOFTWARE

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

software posted on 2021-11-26 in 4TU.ResearchData

DATASET

Data underlying the publication: Protocols for creating and distilling multipartite GHZ states with Bell pairs

dataset posted on 2021-10-28 in 4TU.ResearchData

DATASET

Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

dataset posted on 2021-08-25 in 4TU.ResearchData

DATASET

LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks

dataset posted on 2021-08-05 in 4TU.ResearchData

collection:
CounteringRumours

posted on 2021-05-19 in 4TU.ResearchData

Amir Ebrahimi Fard

SOFTWARE

Source code of the jEULYNX prototype framework

software posted on 2021-04-14 in 4TU.ResearchData

Djurre van der Wal

DATASET

Real-world sales forecasting benchmark data - Extended version

dataset posted on 2021-04-13 in 4TU.ResearchData

Emir Žunić

DATASET

Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"

dataset posted on 2021-03-30 in 4TU.ResearchData

Katsiaryna Labunets

SOFTWARE

Permission-based Verification of Red-Black Trees and Their Merging - Code

software posted on 2021-01-21 in 4TU.ResearchData

Lukas Armborst

SOFTWARE

Data underlying the research on phylogenetic network rearrangement move heuristics.

software posted on 2021-01-20 in 4TU.ResearchData

Remie Janssen

DATASET

Sampling Distributed Schedulers for Resilient Space Communication (Artifact)

dataset posted on 2020-11-03 in 4TU.ResearchData

Arnd Hartmanns

DATASET

Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked

dataset posted on 2020-09-22 in 4TU.ResearchData

DATASET

Technology-based social skills training systems: A systematic literature review

dataset posted on 2020-05-19 in 4TU.ResearchData

DATASET

Software artefact for FIG: the Finite Improbability Generator

dataset posted on 2020-05-12 in 4TU.ResearchData

Carlos E. Budde

DATASET

Supplementary data for the article: Coupled simulator for research on the interaction between pedestrians and (automated) vehicles

dataset posted on 2020-04-23 in 4TU.ResearchData

DATASET

Data originating from deprecation mechanism interviews

dataset posted on 2020-04-02 in 4TU.ResearchData

Anand Sawant

Information and Computing Sciences

Data underlying the PhD thesis: Accelerating Programmer-Friendly Intermittent Computing (Chapter 6)

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)

Coverage-Driven SLAM Testing

Agent-based model software written for the master thesis Scaling Up, Staying Secure

Experiment results supporting the master thesis Scaling Up, Staying Secure

Code for the master thesis "Exploring the Effect of Automation Failure on the Human's Trustworthiness in Human-Agent Teamwork"

Data for: NetQASM - A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet

Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"

Screenshots of Virtual Reality Imagery Rescripting tool

ProVerB: Dataset of Tools and Formats for Program Verification

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Replication Package for the master thesis "An Empirical Assessment on the Limits of Binary Code Summarisation with Transformer-based Models"

DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations

Video Annotation Software

Programs to evaluate superoptimizer STOKE.

Implementation of Study 1 from Master Thesis Building Interactive Text-to-SQL Systems

Dataset 1 and 2 from Master Thesis Building Interactive Text-to-SQL Systems

Script to register Figshare dois in Datacite

Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code

Data underlying the publication: “No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis”

Soft Gripper AR Framework

PhD Thesis Artifact: Correct Optimized GPU Programs

Code and data of research project: The effect of tempo transformations on Essentia’s beat tracking pipelines

SAMXL - Virtual Environment for Virtual Reality Development

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Data underlying the publication: Protocols for creating and distilling multipartite GHZ states with Bell pairs

Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks

collection: CounteringRumours

Source code of the jEULYNX prototype framework

Real-world sales forecasting benchmark data - Extended version

Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"

Permission-based Verification of Red-Black Trees and Their Merging - Code

Data underlying the research on phylogenetic network rearrangement move heuristics.

Sampling Distributed Schedulers for Resilient Space Communication (Artifact)

Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked

Technology-based social skills training systems: A systematic literature review

Software artefact for FIG: the Finite Improbability Generator

Supplementary data for the article: Coupled simulator for research on the interaction between pedestrians and (automated) vehicles

Data originating from deprecation mechanism interviews

collection:
CounteringRumours