Amin Farjudian

个人简介

Dr Amin Farjudian, Assistant Professor.

联系方式

邮件:a.farjudian@bham.ac.uk

任职及教育经历

PhD in Computer Science, University of Birmingham, 2004

BSc in Pure Mathematics, Sharif University of Technology (Tehran, Iran), 2000

研究领域

His research interests are primarily in domain theory, ordinary and partial differential equations, and machine learning. He has published in several areas of mathematics and computer science, including domain theory, ordinary and partial differential equations, eigenvalue problems, symmetrisation, rearrangements of functions, and mathematical logic.


近期学术出版物

Article

Du, H, Alechina, N, Farjudian, A, Logan, B, Zhou, C & Cohn, AG 2023, 'A Logic of East and West', Journal of Artificial Intelligence Research, vol. 76, pp. 527-565. https://doi.org/10.1613/JAIR.1.14113

Zhou, C, Shaikh, RA, Li, Y & Farjudian, A 2023, 'A domain-theoretic framework for robustness analysis of neural networks', Mathematical Structures in Computer Science, vol. 33, no. 2, pp. 68-105. https://doi.org/10.1017/S0960129523000142

Farjudian, A 2023, 'Bridging Mathematics and Computer Science Through Threshold Concepts', IEEE Transactions on Education, vol. 66, no. 2, pp. 139-145. https://doi.org/10.1109/TE.2022.3200162

Savi, F, Farjudian, A, Buticchi, G, Barater, D & Franceschini, G 2023, 'Numerical Robustness Evaluation of Floating-Point Closed-Loop Control Based on Interval Analysis', Electronics (Switzerland), vol. 12, no. 2, 390. https://doi.org/10.3390/electronics12020390

Edalat, A, Farjudian, A & Li, Y 2023, 'Recursive Solution of Initial Value Problems with Temporal Discretization', Theoretical Computer Science, vol. 980, 114221. https://doi.org/10.1016/j.tcs.2023.114221

Farjudian, A & Moggi, E 2023, 'Robustness, Scott continuity, and Computability', Mathematical Structures in Computer Science, vol. 33, no. 6, pp. 536–572. https://doi.org/10.1017/S0960129523000233

Edalat, A, Farjudian, A, Mohammadian, M & Pattinson, D 2020, 'Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems', Electronic Notes in Theoretical Computer Science, vol. 352, pp. 105-128. https://doi.org/10.1016/j.entcs.2020.09.006

Bhattacharya, T, Emamizadeh, B & Farjudian, A 2020, 'Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the (p, 2) -Laplacian Operator', Acta Applicandae Mathematicae, vol. 165, no. 1, pp. 65-79. https://doi.org/10.1007/s10440-019-00241-9

Chapter

Moggi, E, Farjudian, A & Taha, W 2019, System Analysis and Robustness. in Models, Mindsets, Meta: The What, the How, and the Why Not?. 1 edn, Lecture Notes in Computer Science, vol. 11200, Springer Verlag, pp. 36-44. https://doi.org/10.1007/978-3-030-22348-9_4

Conference contribution

Xiong, Z, Lin, PC & Farjudian, A 2023, Retaining Semantics in Image to Music Conversion. in 2022 IEEE International Symposium on Multimedia (ISM)., 10019705, IEEE International Symposium on Multimedia, IEEE, pp. 228-235, 24th IEEE International Symposium on Multimedia, ISM 2022, Virtual, Online, Italy, 5/12/22. https://doi.org/10.1109/ISM55400.2022.00051

Dagnino, F, Farjudian, A & Moggi, E 2023, Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. in Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. 1 edn, vol. 14446, Lecture Notes in Computer Science, vol. 14446, Springer, pp. 313–331, 20th International Colloquium on Theoretical Aspects of Computing
, Lima, Peru, 4/
12/23. https://doi.org/10.1007/978-3-031-47963-2_19

Guo, Y, Li, Y & Farjudian, A 2023, Validated Computation of Lipschitz Constant of Recurrent Neural Networks. in ICMLSC '23: Proceedings of the 2023 7th International Conference on Machine Learning and Soft Computing. ICMLSC: Machine Learning and Soft Computing, Association for Computing Machinery , pp. 46-52, 7th International Conference on Machine Learning and Soft Computing, ICMLSC 2023, Chongqing, China, 5/01/23. https://doi.org/10.1145/3583788.3583795

Buticchi, G, Farjudian, A, Oh, J & Tarisciotti, L 2022, An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter. in IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society., 9968534, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society., IEEE, 48th Annual Conference of the IEEE Industrial Electronics Society, IECON 2022, Brussels, Belgium, 17/10/22. https://doi.org/10.1109/IECON49645.2022.9968534

Qi, Y, Du, H, Farjudian, A & Zhu, Y 2022, Representing Computational Relations in Knowledge Graphs Using Functional Languages. in T Ishikawa, SI Fabrikant & S Winter (eds), 15th International Conference on Spatial Information Theory (COSIT 2022)., 29, Leibniz International Proceedings in Informatics (LIPIcs), vol. 240, Schloss Dagstuhl, 15th International Conference on Spatial Information Theory, COSIT 2022, Kobe, Japan, 5/09/22. https://doi.org/10.4230/LIPIcs.COSIT.2022.29

Farjudian, A 2019, Computable analysis of linear rearrangement optimization. in TV Gopal & J Watada (eds), Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11436 LNCS, Springer Verlag, pp. 172-187, 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, Kitakyushu, Japan, 13/04/19. https://doi.org/10.1007/978-3-030-14812-6_11