Jan Moraal

Orcid: 0000-0001-6583-5576

According to our database1, Jan Moraal authored at least 4 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Waterproof: Educational Software for Learning How to Write Mathematical Proofs.
Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

2022
A multiple spiking neural network architecture based on fuzzy intervals for anomaly detection: a case study of rail defects.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

2018
A Condition-Based Maintenance Methodology for Rails in Regional Railway Networks Using Evolutionary Multiobjective Optimization.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2014
Axle box acceleration for health monitoring of insulated joints: A case study in the Netherlands.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014


  Loading...