Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
1–20 of 1,451 hits
Sort by:
Sort by:
-
Design and Evaluation of a VR Training Simulation for Pump Maintenance
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Model-based testing of breaking changes in Node.js libraries
Free accessBASE | 2019|Publisher: Association for Computing Machinery, Aarhus University: Research -
Fixpoints for the masses:programming with first-class Datalog constraints
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
XRgonomics: Facilitating the Creation of Ergonomic 3D Interfaces
Free accessBASE | 2021|Publisher: Association for Computing Machinery, Aarhus University: Research -
On the Robustness of Cascade Diffusion under Node Attacks
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Geodemographic Influence Maximization
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Extending the Body for Interaction with Reality
Free accessBASE | 2017|Publisher: Association for Computing Machinery, Aarhus University: Research -
Contextual refinement of the Michael-Scott queue (proof pearl)
Free accessBASE | 2021|Publisher: Association for Computing Machinery, Aarhus University: Research -
Extracting Taint Specifications for JavaScript Libraries
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Lower bounds for external memory integer sorting via network coding
Free accessBASE | 2019|Publisher: Association for Computing Machinery, Aarhus University: Research -
Appenzeller to Brie:Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k
Free accessBASE | 2021|Publisher: Association for Computing Machinery, Aarhus University: Research -
Using Gamification to Tackle the Cold-Start Problem in Recommender Systems
Free accessBASE | 2016|Publisher: Association for Computing Machinery, Cologne University: KUPS -
Systematic black-box analysis of collaborative web applications
Free accessBASE | 2017|Publisher: Association for Computing Machinery, Aarhus University: Research -
Extracting smart contracts tested and verified in Coq
Free accessBASE | 2021|Publisher: Association for Computing Machinery, Aarhus University: Research -
Polymorphic types and effects with Boolean unification
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Prototypes as Objects of Desire
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
On Heterogeneity in Mobile Sensing Applications Aiming at Representative Data Collection
Free accessBASE | 2013|Publisher: Association for Computing Machinery, Aarhus University: Research -
Fuzzing channel-based concurrency runtimes using types and effects
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
1D and 2D Flow Routing on a Terrain
Free accessBASE | 2020|Publisher: Association for Computing Machinery, Aarhus University: Research -
Energy-efficient Trajectory Tracking for Mobile Devices
Free accessBASE | 2011|Publisher: Association for Computing Machinery, Aarhus University: Research
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.