Skip to content
@simula-vias

Validation Intelligence for Autonomous Software Systems

Department of Validation Intelligence for Autonomous Software Systems @ Simula Research Laboratory

Popular repositories Loading

  1. Yolo4Apnea Yolo4Apnea Public

    Real-time detection of obstructive sleep apna

    Python 5 1

  2. DeepVentilation DeepVentilation Public

    A deep learning system to predict respiratory flow from ribcage respiratory inductance plethysmography

    4 3

  3. ai4eu-robotics ai4eu-robotics Public

    AI4EU Robotics Pilot: Scripts for datasets, models, and containers

    Shell 1

  4. input-aware-performance-models input-aware-performance-models Public

    Companion repository to the paper "Learning Input-aware Performance Models of Configurable Systems: An Empirical Evaluation"

    Jupyter Notebook 1

  5. tetraband tetraband Public

    Forked from HelgeS/tetraband

    Implementation of "Adaptive Metamorphic Testing with Contextual Bandits"

    Python

  6. ite ite Public

    Forked from ite4cp/ite

    A lightweight approach for implementing constructive disjunction in Prolog

    Jupyter Notebook

Repositories

Showing 10 of 10 repositories
  • partial-configuration Public

    Can we identify partical configurations in performance measurements? (Inria/Simula RIPOST team)

    simula-vias/partial-configuration’s past year of commit activity
    Jupyter Notebook 0 MIT 0 0 0 Updated Jun 28, 2024
  • input-aware-performance-models Public

    Companion repository to the paper "Learning Input-aware Performance Models of Configurable Systems: An Empirical Evaluation"

    simula-vias/input-aware-performance-models’s past year of commit activity
    Jupyter Notebook 1 MIT 0 0 0 Updated Jan 15, 2024
  • qxg-builder Public

    QXG-Builder

    simula-vias/qxg-builder’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 19, 2023
  • Yolo4Apnea Public

    Real-time detection of obstructive sleep apna

    simula-vias/Yolo4Apnea’s past year of commit activity
    Python 5 1 2 12 Updated Mar 8, 2023
  • ConstraintAcquisition Public Forked from lirmm/ConstraintAcquisition

    Constraint Acquisition Platform

    simula-vias/ConstraintAcquisition’s past year of commit activity
    Java 0 BSD-2-Clause 1 0 0 Updated Feb 16, 2023
  • ai4eu-robotics Public

    AI4EU Robotics Pilot: Scripts for datasets, models, and containers

    simula-vias/ai4eu-robotics’s past year of commit activity
    Shell 1 Apache-2.0 0 0 0 Updated Nov 29, 2021
  • tetraband Public Forked from HelgeS/tetraband

    Implementation of "Adaptive Metamorphic Testing with Contextual Bandits"

    simula-vias/tetraband’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Oct 15, 2021
  • DeepVentilation Public

    A deep learning system to predict respiratory flow from ribcage respiratory inductance plethysmography

    simula-vias/DeepVentilation’s past year of commit activity
    4 3 0 0 Updated Jan 21, 2021
  • ite Public Forked from ite4cp/ite

    A lightweight approach for implementing constructive disjunction in Prolog

    simula-vias/ite’s past year of commit activity
    Jupyter Notebook 0 MIT 1 0 0 Updated Oct 1, 2020
  • mcap_rotational_diversity Public Forked from HelgeS/mcap_rotational_diversity

    Source code for paper "Multi-Cycle Assignment Problems with Rotational Diversity"

    simula-vias/mcap_rotational_diversity’s past year of commit activity
    Prolog 0 MIT 1 0 0 Updated May 7, 2019

Top languages

Loading…

Most used topics

Loading…