Amin Farjudian

2025

Linking Geo-Models for Geomorphological Classification Using Knowledge Graphs

Qi, Y., Zhu, Y., Wang, S., Zhong, Y., Marsh, S., Farjudian, A. & Du, H., 24 Jan 2025, (E-pub ahead of print) In: Computers and Geosciences. 105873.

Research output: Contribution to journal › Article › peer-review

2 Downloads (Pure)

2024

A Logic of East and West for Intervals

Li, Z., Farjudian, A. & Du, H., 9 Sept 2024, In: Leibniz International Proceedings in Informatics. 315, 8 p., 17.

Research output: Contribution to journal › Conference article › peer-review

Open Access

File

29 Downloads (Pure)

Cardinality and Bounding Constrained Portfolio Optimization Using Safe Reinforcement Learning

Li, Y., Du, N., Song, X., Yang, X., Cui, T., Xue, N., Farjudian, A., Ren, J. & Cheah, W. P., 9 Sept 2024, 2024 International Joint Conference on Neural Networks (IJCNN). IEEE, 8 p. 10651491. ( Proceedings of International Joint Conference on Neural Network; vol. 2024).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

50 Downloads (Pure)

Continuous Domains for Function Spaces Using Spectral Compactification

Farjudian, A. & Jung, A., 11 Dec 2024, In: Electronic Notes in Theoretical Informatics and Computer Science. 4, 20 p., 8.

Research output: Contribution to journal › Article › peer-review

Open Access

File

15 Downloads (Pure)

Discovery of novel SOS1 inhibitors using machine learning

Duo, L., Chen, Y., Liu, Q., Ma, Z., Farjudian, A., Ho, W. Y., Low, S. S., Ren, J., Hirst, J. D., Xie, H. & Tang, B., 1 Apr 2024, In: RSC Medicinal Chemistry. 15, 4, p. 1392 -1403 12 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

27 Downloads (Pure)

Pruning convolutional neural networks for inductive conformal prediction

Zhao, X., Farjudian, A. & Bellotti, A., 5 Oct 2024, (E-pub ahead of print) In: Neurocomputing. 128704.

Research output: Contribution to journal › Article › peer-review

2023

A domain-theoretic framework for robustness analysis of neural networks

Zhou, C., Shaikh, R. A., Li, Y. & Farjudian, A., 23 May 2023, In: Mathematical Structures in Computer Science. 33, 2, p. 68-105 38 p.

Research output: Contribution to journal › Article › peer-review

A Logic of East and West

Du, H., Alechina, N., Farjudian, A., Logan, B., Zhou, C. & Cohn, A. G., 28 Feb 2023, In: Journal of Artificial Intelligence Research. 76, p. 527-565 39 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

58 Downloads (Pure)

Bridging Mathematics and Computer Science Through Threshold Concepts

Farjudian, A., Apr 2023, In: IEEE Transactions on Education. 66, 2, p. 139-145 7 p.

Research output: Contribution to journal › Article › peer-review

Numerical Robustness Evaluation of Floating-Point Closed-Loop Control Based on Interval Analysis

Savi, F., Farjudian, A., Buticchi, G., Barater, D. & Franceschini, G., 12 Jan 2023, In: Electronics (Switzerland). 12, 2, 12 p., 390.

Research output: Contribution to journal › Article › peer-review

Open Access

File

60 Downloads (Pure)

Recursive Solution of Initial Value Problems with Temporal Discretization

Edalat, A., Farjudian, A. & Li, Y., 20 Nov 2023, In: Theoretical Computer Science. 980, 114221.

Research output: Contribution to journal › Article › peer-review

Open Access

File

107 Downloads (Pure)

Retaining Semantics in Image to Music Conversion

Xiong, Z., Lin, P. C. & Farjudian, A., 23 Jan 2023, 2022 IEEE International Symposium on Multimedia (ISM). IEEE, p. 228-235 8 p. 10019705. (IEEE International Symposium on Multimedia).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Robustness, Scott continuity, and Computability

Farjudian, A. & Moggi, E., 4 Aug 2023, In: Mathematical Structures in Computer Science. 33, 6, p. 536–572 37 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

40 Downloads (Pure)

Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad

Dagnino, F., Farjudian, A. & Moggi, E., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. 1 ed. Springer, Vol. 14446. p. 313–331 (Lecture Notes in Computer Science; vol. 14446).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

11 Downloads (Pure)

Validated Computation of Lipschitz Constant of Recurrent Neural Networks

Guo, Y., Li, Y. & Farjudian, A., 4 Jun 2023, ICMLSC '23: Proceedings of the 2023 7th International Conference on Machine Learning and Soft Computing. Association for Computing Machinery , p. 46-52 7 p. (ICMLSC: Machine Learning and Soft Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2022

An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter

Buticchi, G., Farjudian, A., Oh, J. & Tarisciotti, L., 9 Dec 2022, IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 6 p. 9968534. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society.).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Representing Computational Relations in Knowledge Graphs Using Functional Languages

Qi, Y., Du, H., Farjudian, A. & Zhu, Y., 22 Aug 2022, 15th International Conference on Spatial Information Theory (COSIT 2022). Ishikawa, T., Fabrikant, S. I. & Winter, S. (eds.). Schloss Dagstuhl, 7 p. 29. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 240).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

43 Downloads (Pure)

2020

Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems

Edalat, A., Farjudian, A., Mohammadian, M. & Pattinson, D., 1 Oct 2020, In: Electronic Notes in Theoretical Computer Science. 352, p. 105-128 24 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2 Citations (Scopus)

Existence of Continuous Eigenvalues for a Class of Parametric Problems Involving the (p, 2) -Laplacian Operator

Bhattacharya, T., Emamizadeh, B. & Farjudian, A., 1 Feb 2020, In: Acta Applicandae Mathematicae. 165, 1, p. 65-79 15 p.

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

2019

Computable analysis of linear rearrangement optimization

Farjudian, A., 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer Verlag, p. 172-187 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

System analysis and robustness

Moggi, E., Farjudian, A. & Taha, W., 28 Nov 2019, In: CEUR Workshop Proceedings. 2504, p. 1-7 7 p.

Research output: Contribution to journal › Conference article › peer-review

Open Access

File

1 Citation (Scopus)

38 Downloads (Pure)

System Analysis and Robustness

Moggi, E., Farjudian, A. & Taha, W., 26 Jun 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. 1 ed. Springer Verlag, p. 36-44 9 p. (Lecture Notes in Computer Science; vol. 11200).

Research output: Chapter in Book/Report/Conference proceeding › Chapter