Mehrdad Maleki

According to our database, Mehrdad Maleki authored at least 3 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

HeunNet: Extending ResNet using Heun's Methods.

Mehrdad Maleki, Mansura Habiba, Barak A. Pearlmutter

CoRR, 2021

2018

Differential Calculus with Imprecise Input and Its Logical Framework.

Abbas Edalat, Mehrdad Maleki

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Differentiation in logical form.

Abbas Edalat, Mehrdad Maleki

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017