Follow
Mehrdad Maleki
Mehrdad Maleki
National University of Ireland, Maynooth
Verified email at mu.ie
Title
Cited by
Cited by
Year
Heunnet: Extending resnet using heun’s method
M Maleki, M Habiba, BA Pearlmutter
2021 32nd Irish Signals and Systems Conference (ISSC), 1-6, 2021
52021
Differentiation in logical form
A Edalat, M Maleki
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
42017
Differential calculus with imprecise input and its logical framework
A Edalat, M Maleki
Foundations of Software Science and Computation Structures: 21st …, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–3