Ctrl K

All software

0Filters
Keywords
2655
Program languages
149
Licenses
43
673-720 of 1054
Logo for Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species

Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species

Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species

  • Brassicaceae
  • High-throughput phenotyping
  • Hirschfeldia incana
  • + 1
  • Other
  • Python
  • Markdown
1
0
Logo for Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances

Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances

Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances

  • Brassicaceae
  • Hirschfeldia incana
  • photosynthesis
  • + 1
  • Python
  • R
  • Other
  • + 1
1
0
Logo for Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design

Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design

Software tool associated to the master thesis: Multi-Objective optimisation in grid-shell design

  • grasshopper
  • Grid-Shell Design
  • multi objective optimization
  • + 1
    1
    0
    Logo for  Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

    Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

    Software underlying PhD thesis: AI in the Sky - Advancing Wildlife Survey Methods in Africa with Deep Learning and Aerial Imagery.

    • Artificial intelligence
    • deep learning
    • Monitoring
    • + 2
    • Python
    • Markdown
    1
    0
    Logo for Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control

    Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control

    Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control

    • active wake control
    • deep learning
    • Reinforcement learning
      4
      0
      Logo for Source code for: Assessing the Validity of a Calcifying Oral Biofilm Model as a Suitable Proxy for Dental Calculus

      Source code for: Assessing the Validity of a Calcifying Oral Biofilm Model as a Suitable Proxy for Dental Calculus

      Source code for: Assessing the Validity of a Calcifying Oral Biofilm Model as a Suitable Proxy for Dental Calculus

      • dental calculus
      • Fourier-transform infrared spectroscopy (FTIR)
      • metagenomics
      • + 2
        5
        0
        Logo for Source code for the MSc thesis: Multi-leader Adaptive Cruise Control Systems considering Sensor Measurement Uncertainties based on Deep Reinforcement Learning

        Source code for the MSc thesis: Multi-leader Adaptive Cruise Control Systems considering Sensor Measurement Uncertainties based on Deep Reinforcement Learning

        Source code for the MSc thesis: Multi-leader Adaptive Cruise Control Systems considering Sensor Measurement Uncertainties based on Deep Reinforcement Learning

        • Adaptive Cruise Control
        • Deep Reinforcement Learning
        • Kalman filter
        • + 4
          1
          0
          Logo for Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"

          Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"

          Source code for the paper "Constructing Phylogenetic Networks via Cherry Picking and Machine Learning"

          • Cherry Picking
          • Heuristic
          • Hybridization
          • + 2
          • Python
          • Other
          • Markdown
          • + 1
          4
          0
          Logo for Source code for the publication: Learning safety in model-based Reinforcement Learning using MPC and Gaussian Processes

          Source code for the publication: Learning safety in model-based Reinforcement Learning using MPC and Gaussian Processes

          Source code for the publication: Learning safety in model-based Reinforcement Learning using MPC and Gaussian Processes

          • Gaussian Processes
          • Learning-based Model Predictive Control
          • Safe Reinforcement Learning
            1
            0
            Logo for Source code of the jEULYNX prototype framework

            Source code of the jEULYNX prototype framework

            Source code of the jEULYNX prototype framework

            • DSL
            • EULYNX
            • FormaSig
            • + 2
              1
              0
              Logo for Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

              Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

              Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

              • decentralised learning
              • graph girth
              • privacy-preserving summation
              • + 2
              • Matlab
              • Markdown
              • Other
              3
              0
              Logo for spacevlbi

              spacevlbi

              Python package for simulating and optimising a space-based VLBI mission

              • astronomy
              • Spacecraft Optimisation
              • Space Mission Design
              • + 1
              • Python
              • Other
              • Markdown
              • + 1
              1
              0
              Logo for spacy-extensions

              spacy-extensions

              Code for Threat Intelligence Processing - Unleashing the Real Power of Natural Language Processing for Cyber Threat Intelligence

              • Cyber Threat Intelligence
              • Natural Language Processing
              • Security
              • Python
              • Other
              • JSON
              • + 1
              9
              0
              Logo for Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

              Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

              Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

              • Annotations
              • Deductive verification
              • Specifications
              • + 1
                3
                0
                Logo for Specification Translator: Tool to Translate Specifications for Deductive Verifiers

                Specification Translator: Tool to Translate Specifications for Deductive Verifiers

                Specification Translator: Tool to Translate Specifications for Deductive Verifiers

                • Annotations
                • Deductive verification
                • Semantics
                • + 3
                • Other
                3
                0
                Logo for Speed Robust Scheduling Supplemental Material

                Speed Robust Scheduling Supplemental Material

                Speed Robust Scheduling Supplemental Material

                • Combinatorial optimization
                • Computer assisted proof
                • Data Structures
                • + 1
                  6
                  0
                  Logo for SpinControl.jl, a numerical package written in Julia

                  SpinControl.jl, a numerical package written in Julia

                  SpinControl.jl, a numerical package written in Julia

                  • Monte-Carlo
                  • Noisy Quantum Simulation
                  • Open System
                  • + 2
                    1
                    0
                    Logo for spurious_sentience

                    spurious_sentience

                    Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"

                    • Artificial General Intelligence
                    • Artificial intelligence
                    • interpretability
                    • + 1
                    • Other
                    • TeX
                    • Julia
                    • + 2
                    4
                    0
                    Logo for Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia

                    Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia

                    Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia

                    • Dynamic structure
                    • Hydraulic loading
                    • Morison equation
                    • + 1
                      1
                      0
                      Logo for structure_calibration_sparse_data

                      structure_calibration_sparse_data

                      Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data

                      • Simulation
                      • sparse data
                      • structure
                      • + 2
                      • YAML
                      • Python
                      • Other
                      • + 2
                      1
                      0
                      Logo for Stumblemeter: App and MATLAB code

                      Stumblemeter: App and MATLAB code

                      Stumblemeter: App and MATLAB code

                      • Accelerometer
                      • gyroscope
                      • Machine learning
                      • + 3
                        3
                        0
                        Logo for Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

                        Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

                        Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

                        • Constraint programming (Computer science)
                        • deep learning
                        • Enterprise engineering
                        • + 2
                          2
                          0
                          Logo for Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'

                          Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'

                          Supplementary data for the paper 'From A to B with Ease: User-Centric Interfaces for Shuttle Buses'

                          • Micro-mobility
                          • Shuttle bus
                          • User Interface
                          • + 1
                            5
                            0
                            Logo for Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

                            Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

                            Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

                            • Conformance testing
                            • Model-based testing
                            • Programmable logic controllers
                            • + 7
                              3
                              0
                              Logo for TESTER GHG abatement option selection Tool

                              TESTER GHG abatement option selection Tool

                              TESTER GHG abatement option selection Tool

                              • Concept design
                              • emission abatement technologies
                              • Greenhouse gas (GHG) emmisions
                              • + 2
                                1
                                0
                                Logo for The model and the data part of the master thesis “Integrating Reuse in MaTrace Models: An implementation and evaluation”

                                The model and the data part of the master thesis “Integrating Reuse in MaTrace Models: An implementation and evaluation”

                                The model and the data part of the master thesis “Integrating Reuse in MaTrace Models: An implementation and evaluation”

                                • Cobalt
                                • Master thesis
                                • Material flow analysis (MFA)
                                • + 2
                                  1
                                  0
                                  Logo for The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach

                                  The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach

                                  The role of Foreign Exchange Reserve on Foreign Public Debt in Ethiopian Economy: ARDL Model Approach

                                  • Ethiopia
                                  • foreign debt reserves
                                    4
                                    0
                                    Logo for topological_SB_matching

                                    topological_SB_matching

                                    Code underlying: Topological Schrödinger Bridge Matching

                                    • distribution matching
                                    • generative models
                                    • graph and simplicial complex
                                    • + 1
                                    • Other
                                    • Jupyter Notebook
                                    • Python
                                    • + 3
                                    1
                                    0
                                    Logo for Trained CNN model to predict performance of an LPM thruster from the 32 x 32 px image of its microchannel cross-section

                                    Trained CNN model to predict performance of an LPM thruster from the 32 x 32 px image of its microchannel cross-section

                                    Trained CNN model to predict performance of an LPM thruster from the 32 x 32 px image of its microchannel cross-section

                                    • convolution neural network
                                    • Thruster
                                      1
                                      0
                                      Logo for TUD R Cafe Plot-a-thon: 4TU.RD stats

                                      TUD R Cafe Plot-a-thon: 4TU.RD stats

                                      TUD R Cafe Plot-a-thon: 4TU.RD stats

                                      • data visualization
                                      • plot-a-thon
                                      • Statistics
                                      • Other
                                      • JSON
                                      • R
                                      • + 2
                                      1
                                      0
                                      Logo for TWORIT

                                      TWORIT

                                      TWORIT: Theoretical solver and Waveguide Optimization for Radiating Irregular Tapered-Cones – A tool for calculating the S parameters and Far Fields of a cascaded cylindrical waveguide structure

                                      • Conical Horn Antenna
                                      • Electromagnetics
                                      • Mode Matching
                                      • + 2
                                      • Other
                                      • Matlab
                                      • Markdown
                                      3
                                      0
                                      Logo for UNetGE software and it User Manual

                                      UNetGE software and it User Manual

                                      UNetGE software and it User Manual

                                      • grain extraction
                                      • grain size extraction
                                      • image analysis
                                      • + 3
                                        4
                                        0
                                        Logo for UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL

                                        UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL

                                        UNITY: VR Package of a plausible future of bicycle assembly scenario in SAMXL

                                        • Future of Work
                                        • Futures
                                        • Future scenario
                                        • + 8
                                          3
                                          0
                                          Logo for Urdf-Environments for OpenAI-Gym

                                          Urdf-Environments for OpenAI-Gym

                                          Urdf-Environments for OpenAI-Gym

                                          • OpenAI-Gym
                                          • pybullet
                                          • Robotics systems
                                          • + 1
                                            1
                                            0
                                            Logo for ValueMonitor software

                                            ValueMonitor software

                                            ValueMonitor software

                                            • Ethics of technology
                                            • Moral values
                                            • Topic Modelling
                                            • + 1
                                              2
                                              0
                                              Logo for Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code

                                              Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code

                                              Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems - code

                                              • Active Learning
                                              • Natural Language Processing
                                              • NLP
                                              • + 1
                                              • Python
                                              • JSON
                                              • Other
                                              • + 1
                                              4
                                              0
                                              Logo for Vertical Conflict Resolution in Layered Airspace with Reinforcement Learning using the BlueSky Open Air Traffic Simulator

                                              Vertical Conflict Resolution in Layered Airspace with Reinforcement Learning using the BlueSky Open Air Traffic Simulator

                                              Vertical Conflict Resolution in Layered Airspace with Reinforcement Learning using the BlueSky Open Air Traffic Simulator

                                              • Air traffic management (ATM)
                                              • BlueSky
                                              • Conflict detection and resolution
                                              • + 3
                                                1
                                                0
                                                Logo for Video Annotation Software

                                                Video Annotation Software

                                                Video Annotation Software

                                                • Artificial intelligence
                                                • process modeling study
                                                • Process modelling
                                                  3
                                                  0
                                                  Logo for VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

                                                  VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

                                                  VSIDS learning code: "Learning Variable Activity Initialisation for Lazy Clause Generation Solvers"

                                                  • GCN
                                                  • Graph Convolutional Networks
                                                  • lazy clause generation
                                                  • + 5
                                                    3
                                                    0
                                                    Logo for Wake-informed Lifting Line Theory: Example Code

                                                    Wake-informed Lifting Line Theory: Example Code

                                                    Wake-informed Lifting Line Theory: Example Code

                                                    • Blade Loading Distributions
                                                    • Experimental Measurement Analysis
                                                    • Lifting Line
                                                    • + 3
                                                      1
                                                      0
                                                      Logo for xcrisp

                                                      xcrisp

                                                      Data and code underlying the publication: X-CRISP: Domain-Adaptable and Interpretable CRISPR Repair Outcome Prediction

                                                      • CRISPR
                                                      • DNA repair
                                                      • explainability
                                                      • + 3
                                                        2
                                                        0
                                                        Logo for Abinit

                                                        Abinit

                                                        Abinit is a software package based on density functional theory for calculating the properties of solids.

                                                        • Fortran
                                                        • Python
                                                        • M4
                                                        • + 15
                                                        3
                                                        0

                                                        addFeatures

                                                        addFeatures adds spot images to a SCiLS Lab dataset from a list of defined mass spectral features.

                                                        • Image processing
                                                        • mass spectrometry
                                                        • R
                                                        1
                                                        0

                                                        admtools

                                                        Estimate age-depth models in geology and use them to transform various types of data (fossil ages, phylogenetic trees, trait evolution of lineages) between the time domain and the stratigraphic domain.

                                                        • Age-depth modeling
                                                        • Geochronology
                                                        • Sedimentology
                                                        • + 1
                                                        • R
                                                        1
                                                        0
                                                        Logo for Aiida-CHAMP

                                                        Aiida-CHAMP

                                                        The aiida-champ plugin to handle the CHAMP workflow using AiiDA.

                                                        • python
                                                        • workflow
                                                        • Python
                                                        • Shell
                                                        1
                                                        0
                                                        Logo for aiproteomics

                                                        aiproteomics

                                                        Generate and compare deep learning models for generating synthetic mass spectral libraries

                                                        • Machine learning
                                                        • mass spectrometry
                                                        • phosphoproteomics
                                                        • + 1
                                                        • Jupyter Notebook
                                                        • Python
                                                        • Shell
                                                        1
                                                        0

                                                        Allelic Variation Explorer

                                                        If you are studying how single nucleotide polymorphisms are clustered in genomic samples, then the Allelic Variation Explorer can help you visualize them.

                                                        • Visualization
                                                        • Python
                                                        • Dockerfile
                                                        • AngelScript
                                                        2
                                                        0

                                                        MPI-AMRVAC

                                                        MPI-AMRVAC is a parallel adaptive mesh refinement framework aimed at solving (primarily hyperbolic) partial differential equations by a number of different numerical schemes. The emphasis is on (near) conservation laws and on shock-dominated problems in particular.

                                                        • Fortran
                                                        • Python
                                                        • Shell
                                                        • + 2
                                                        0
                                                        0