All software
NSG2023-EMinversion
Data and scripts underlying the publication: Global search inversion for electromagnetic induction data using layered models
- electromagnetic induction
- frequency domain electromagnetics
- geophysics
- ("Jupyter Notebook")
- (Markdown)
- (Other)
- + 1
Numerical model configurations for "A synthetic spring-neap tidal cycle for long-term morphological modelling"
Numerical model configurations for "A synthetic spring-neap tidal cycle for long-term morphological modelling"
- Delft3D-FM
- geomorphology;
- modelling estimates
NumPy-based Salt Flux Decomposition
NumPy-based Salt Flux Decomposition
- estuaries
- Hydrodynamic model
- salinity
- + 1
- (Markdown)
- (Other)
- (Python)
- + 1
optimal-stretching
Source code underlying the publication: Optimal Graph Stretching for Distributed Averaging
- Consensus protocols
- Convergence time
- Cycle elimination
- + 13
- (Markdown)
- (Matlab)
- (Other)
optimization_code - Further supporting material for "A hardware-efficient leakage-reduction scheme for quantum error correction with superconducting transmon qubits"
optimization_code - Further supporting material for "A hardware-efficient leakage-reduction scheme for quantum error correction with superconducting transmon qubits"
- leakage reduction units
- quantum error correction
- superconducting qubits
PARAMOUNT: parallel modal analysis of large datasets
PARAMOUNT: parallel modal analysis of large datasets
- Parallel Processing
- proper orthogonal decomposition (POD)
- singular value decomposition (SVD)
- + 2
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)
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)
patient-interaction-detection
Python code to detect interaction of medical personnel with the operating table from surveillance videos
- 2D human poses
- Action recognition
- Operating table interaction
- + 3
- (JSON)
- (large-text-file)
- (Markdown)
- + 2
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
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
port_data_graphs
Code: Generating Graphs based on Real-World Port Data
- Data
- graph
- port
- (JSON)
- ("Jupyter Notebook")
- (large-text-file)
- + 2