Ctrl K

All software

0Filters
Keywords
2897
Program languages
156
Licenses
45
673-684 of 1157
Logo for Particle filter code with an example of subsidence caused by a compacting reservoir

Particle filter code with an example of subsidence caused by a compacting reservoir

Particle filter code with an example of subsidence caused by a compacting reservoir

  • Data assimilation
  • Particle filter
  • Reservoir compaction
  • + 1
  • (Markdown)
  • (Other)
  • (Python)
1
0
Logo for Partile filter code  with an example of weight collapse in importance sampling methods

Partile filter code with an example of weight collapse in importance sampling methods

Partile filter code with an example of weight collapse in importance sampling methods

  • Data assimilation
  • Importance sampling
  • Particle method
  • + 2
  • (Markdown)
  • (Other)
  • (Python)
1
0
Logo for Permission-based Verification of Red-Black Trees and Their Merging - Code

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

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

  • Deductive verification
  • magic wand
  • producer-consumer pattern
  • + 3
    1
    0
    Logo for perm_map_circuits

    perm_map_circuits

    Code underlying: Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts

    • cryptography
    • graph coloring
    • homomorphic encryption
    • + 1
    • (C)
    • (C++)
    • (Markdown)
    • + 2
    2
    0
    Logo for port_data_graphs

    port_data_graphs

    Code: Generating Graphs based on Real-World Port Data

    • Data
    • graph
    • port
    • (JSON)
    • ("Jupyter Notebook")
    • (large-text-file)
    • + 2
    1
    0
    Logo for Prediction of Trip Production

    Prediction of Trip Production

    The codes associated with the publication: The Role of Spatial Features and Adjacency in Data-driven Short-term Prediction of Trip Production: An Exploratory Study in the Netherlands

    • demand prediction
    • graph convolution
    • residual analysis
    • + 3
    • ("Jupyter Notebook")
    • (large-text-file)
    • (Markdown)
    • + 1
    5
    0
    Logo for Predictive_Traffic_Signal_Control

    Predictive_Traffic_Signal_Control

    Real-Time Predictive Traffic Signal Control Application for Prototyping

    • Model predictive control
    • prediction error
    • prediction uncertainty
    • + 3
    • (C)
    • (C++)
    • (large-text-file)
    • + 3
    1
    0
    Logo for private-logic-and-mpso

    private-logic-and-mpso

    Code underlying: Fast Multi-party Private Set Operations in the Star Topology from Secure ANDs and ORs

    • cryptography
    • privacy enhancing technologies
    • private logic
    • + 2
    • (Markdown)
    • (Other)
    • (Rust)
    1
    0
    Logo for Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios

    Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios

    Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios

    • automated driving
    • Collision Avoidance
    • Emergency Scenarios
    • + 5
      1
      0
      Logo for Probabilistic-adequacy-constrained-planning-of-offshore-MMC-HVDC-based-wind-power-systems

      Probabilistic-adequacy-constrained-planning-of-offshore-MMC-HVDC-based-wind-power-systems

      Source code underlying the publication: Probabilistic adequacy constrained planning of offshore MMC-HVDC-based wind power systems

      • MATLAB
      • open-data
      • Open-source
      • + 1
      • (Markdown)
      • (Matlab)
      • (Other)
      1
      0
      Logo for Programs to evaluate superoptimizer STOKE.

      Programs to evaluate superoptimizer STOKE.

      Programs to evaluate superoptimizer STOKE.

      • compiler
      • optimization
      • stochastic
        1
        0
        Logo for Propagation model and PIE model, underlying the master thesis:  Knowledge in Building with Nature pilot projects

        Propagation model and PIE model, underlying the master thesis: Knowledge in Building with Nature pilot projects

        Propagation model and PIE model, underlying the master thesis: Knowledge in Building with Nature pilot projects

        • Building with Nature
        • diffusion
        • Pilot projects
        • + 4
          1
          0