Search Results for author:
Found 3 papers, 0 papers with code
The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics
We believe ORB provides a valuable resource for researchers interested in open science and review, with our implementation easing the use of this data for further analysis and experimentation.
IEDM, an Ontology for Irradiation Experiment Data Management
To help develop best practices and promote computer-assisted handling and management of IEs, we introduce IEDM, a new OWL-based Irradiation Experiment Data Management ontology.
jsCoq: Towards Hybrid Theorem Proving Interfaces
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
