Amin Farjudian

According to our database, Amin Farjudian authored at least 28 papers between 2002 and 2025.

Collaborative distances:

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

2025

Pruning convolutional neural networks for inductive conformal prediction.

Xindi Zhao, Amin Farjudian, Anthony Bellotti

Neurocomputing, 2025

2024

Continuous Domains for Function Spaces Using Spectral Compactification.

Amin Farjudian, Achim Jung

CoRR, 2024

Cardinality and Bounding Constrained Portfolio Optimization Using Safe Reinforcement Learning.

Yiran Li, Nanjiang Du, Xingke Song, Xiaoying Yang, Tianxiang Cui, Ning Xue, Amin Farjudian, Jianfeng Ren, Wooi Ping Cheah

Proceedings of the International Joint Conference on Neural Networks, 2024

A Logic of East and West for Intervals (Short Paper).

Zekai Li, Amin Farjudian, Heshan Du

Proceedings of the 16th International Conference on Spatial Information Theory, 2024

2023

Recursive solution of initial value problems with temporal discretization.

Abbas Edalat, Amin Farjudian, Yiran Li

Theor. Comput. Sci., November, 2023

Bridging Mathematics and Computer Science Through Threshold Concepts.

Amin Farjudian

IEEE Trans. Educ., April, 2023

A domain-theoretic framework for robustness analysis of neural networks.

Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian

Math. Struct. Comput. Sci., 2023

Robustness, Scott continuity, and computability.

Amin Farjudian, Eugenio Moggi

Math. Struct. Comput. Sci., 2023

A Logic of East and West.

Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

J. Artif. Intell. Res., 2023

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

Francesco Dagnino, Amin Farjudian, Eugenio Moggi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Validated Computation of Lipschitz Constant of Recurrent Neural Networks.

Yuhua Guo, Yiran Li, Amin Farjudian

Proceedings of the 2023 7th International Conference on Machine Learning and Soft Computing, 2023

2022

Retaining Semantics in Image to Music Conversion.

Zeyu Xiong, Pei-Chun Lin, Amin Farjudian

Proceedings of the IEEE International Symposium on Multimedia, 2022

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

Giampaolo Buticchi, Amin Farjudian, Juyoung Oh, Luca Tarisciotti

Proceedings of the IECON 2022, 2022

Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper).

Yanmin Qi, Heshan Du, Amin Farjudian, Yunqiang Zhu

Proceedings of the 15th International Conference on Spatial Information Theory, 2022

2020

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

Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2019

Computable Analysis of Linear Rearrangement Optimization.

Amin Farjudian

Proceedings of the Theory and Applications of Models of Computation, 2019

System Analysis and Robustness.

Eugenio Moggi, Amin Farjudian, Walid Taha

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

Safe & robust reachability analysis of hybrid systems.

Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha

Theor. Comput. Sci., 2018

Optimal harvesting strategy based on rearrangements of functions.

Behrouz Emamizadeh, Amin Farjudian, Yichen Liu

Appl. Math. Comput., 2018

2017

An Elliptic Optimal Control Problem and its Two Relaxations.

Behrouz Emamizadeh, Amin Farjudian, Hayk Mikayelyan

J. Optim. Theory Appl., 2017

2014

Function Interval Arithmetic.

Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

On the Kolmogorov complexity of continuous real functions.

Amin Farjudian

Ann. Pure Appl. Log., 2013

2012

Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures.

Amin Farjudian

Proceedings of the Logic, Language, Information and Computation, 2012

2010

Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values.

Michal Konecný, Amin Farjudian

J. Univers. Comput. Sci., 2010

Semantics of Query-Driven Communication of Exact Values.

Michal Konecný, Amin Farjudian

J. Univers. Comput. Sci., 2010

2008

Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.

Amin Farjudian, Michal Konecný

Proceedings of the Logic, 2008

2007

Shrad: A Language for Sequential Real Number Computation.

Amin Farjudian

Theory Comput. Syst., 2007

2002

Sequentiality and Piecewise-affinity in Segments of Real-PCF.

Amin Farjudian

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002