Farzaneh Moradkhani

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Functional Verification

Feed Forward Neural Networks

Digital Mammograms

Top Venues

it Inf. Technol.

Appl. Artif. Intell.

Publications

Farzaneh Moradkhani, Connor Fibich, Martin Fränzle
Verification of LSTM Neural Networks with Non-linear Activation Functions. NFM (2023)
Farzaneh Moradkhani, Martin Fränzle
Functional verification of cyber-physical systems containing machine-learnt components. it Inf. Technol. 63 (5-6) (2021)
Farzaneh Moradkhani, Bahram Sadeghi Bigham
A New Image Mining Approach for Detecting Micro-Calcification in Digital Mammograms. Appl. Artif. Intell. 31 (5-6) (2017)