Skip to main content
Ctrl K
4TU

4TU

4TU.ResearchData is an international data repository for science, engineering and design. We offer research dataset curation, sharing, long-term access and preservation services to anyone, anywhere. You can find our archive at https://data.4tu.nl/

169-180 of 599

Summation of currents electromagnetic solver

Summation of currents electromagnetic solver

  • Coil
  • FEM
  • Inductive
  • + 6
3
5

Task-aware-connectivity-learning-for-incoming-nodes-over-growing-graphs

Code underlying the publication: Task-aware-connectivity-learning-for-incoming-nodes-over-growing-graphs

  • expanding graph
  • graph signal processing
  • incoming nodes
  • + 2
  • Matlab
1
5

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

  • concurrent systems
  • Deductive verification
  • formal methods
  • + 3
5
4

Code and test data set underlying the publication: Characterizing single-molecule dynamics of viral RNA-dependent RNA polymerases with a multiplexed magnetic tweezers

Code and test data set underlying the publication: Characterizing single-molecule dynamics of viral RNA-dependent RNA polymerases with a multiplexed magnetic tweezers

  • Dwell Time Analysis
  • magnetic tweezers
  • RdRP activity
  • + 1
3
4

Code to produce the results of the publication: “Neurophysiological Validation of Simultaneous Intrinsic and Reflexive Joint Impedance Estimates”

Code to produce the results of the publication: “Neurophysiological Validation of Simultaneous Intrinsic and Reflexive Joint Impedance Estimates”

  • Electromyography
  • Joint resistance
  • Parallel-Cascade model
  • + 2
1
4

LDPoly

Source code for "LDPoly: Latent diffusion for polygonal road outline extraction in large-scale topographic mapping"

  • aerial imagery
  • latent diffusion
  • polygonal road outline extraction
  • + 4
  • Markdown
  • Python
  • YAML
4
4

mo-tas

Truck Appointment Systems - Multi-Objective model

  • Collaboration
  • Multi-Agent Systems
  • prioritized planning
  • + 2
  • Markdown
  • Python
1
4

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

  • Correct-by-construction
  • Gabow
  • IRF
  • + 13
3
3

BrazilClim: script to gauge-calibrate the surfaces

BrazilClim: script to gauge-calibrate the surfaces

  • Bioclimatic variables
  • Brazil
  • land surface temperatures
  • + 4
5
3

Code for identifying patient zero in epidemic models

Code for identifying patient zero in epidemic models

  • Epidemic modeling
  • MATLAB
  • Network Science
  • + 2
1
3

Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction

Code supporting the paper: Stability of a two-dimensional biomorphoelastic model for post-burn contraction

  • Burns
  • MATLAB
  • Morphoelasticity
  • + 3
3
3

Code supporting the publication: Towards Backdoor Stealthiness in Model Parameter Space.

Code supporting the publication: Towards Backdoor Stealthiness in Model Parameter Space.

  • backdoor attack
  • computer vision
  • Convolutional neural networks
  • + 4
  • Markdown
  • Other
  • Python
3
3