Amin Farjudian

40 papers B 4C 8Journal 21Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A knowledge graph-driven method for automated Geo-computations: Illustrated with soil erosion and soil potential productivity cases in China.
Int. J. Appl. Earth Obs. Geoinformation
Yanmin Qi, Yunqiang Zhu, Shu Wang, Ping Fu, Zhenji Gao, Stuart H. Marsh, Amin Farjudian
2025 B conf
Discerning Music Genres: Exploring Neural Network Architectures for Automated Classification.
KES
Eric Odle, Pei-Chun Lin, Amin Farjudian
2025 J jnl
Linking geo-models for geomorphological classification using knowledge graphs.
Comput. Geosci.
Yanmin Qi, Yunqiang Zhu, Shu Wang, Yutao Zhong, Stuart H. Marsh, Amin Farjudian, Heshan Du
2025 J jnl
Pruning convolutional neural networks for inductive conformal prediction.
Neurocomputing
Xindi Zhao, Amin Farjudian, Anthony Bellotti
2025 J jnl
Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales.
CoRR
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2024 — conf
A Logic of East and West for Intervals (Short Paper).
COSIT
Zekai Li, Amin Farjudian, Heshan Du
2024 B conf
Cardinality and Bounding Constrained Portfolio Optimization Using Safe Reinforcement Learning.
IJCNN
Yiran Li, Nanjiang Du, Xingke Song, Xiaoying Yang, Tianxiang Cui, Ning Xue, Amin Farjudian, Jianfeng Ren, Wooi Ping Cheah
2024 B conf
Continuous Domains for Function Spaces Using Spectral Compactification.
MFPS
Amin Farjudian, Achim Jung
2023 J jnl
A Logic of East and West.
J. Artif. Intell. Res.
Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
2023 J jnl
A domain-theoretic framework for robustness analysis of neural networks.
Math. Struct. Comput. Sci.
Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian
2023 J jnl
Bridging Mathematics and Computer Science Through Threshold Concepts.
IEEE Trans. Educ.
Amin Farjudian
2023 J jnl
Recursive Solution of Initial Value Problems with Temporal Discretization.
CoRR
Abbas Edalat, Amin Farjudian, Yiran Li
2023 J jnl
Recursive solution of initial value problems with temporal discretization.
Theor. Comput. Sci.
Abbas Edalat, Amin Farjudian, Yiran Li
2023 C conf
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.
ICTAC
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023 J jnl
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.
CoRR
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
2023 J jnl
Robustness, Scott continuity, and computability.
Math. Struct. Comput. Sci.
Amin Farjudian, Eugenio Moggi
2023 — conf
Validated Computation of Lipschitz Constant of Recurrent Neural Networks.
ICMLSC
Yuhua Guo, Yiran Li, Amin Farjudian
2022 J jnl
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks.
CoRR
Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian
2022 C conf
An ANN-Assisted Control for the Power Decoupling of a Multiple Active Bridge DC-DC Converter.
IECON
Giampaolo Buticchi, Amin Farjudian, Juyoung Oh, Luca Tarisciotti
2022 — conf
Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper).
COSIT
Yanmin Qi, Heshan Du, Amin Farjudian, Yunqiang Zhu
2022 C conf
Retaining Semantics in Image to Music Conversion.
ISM
Zeyu Xiong, Pei-Chun Lin, Amin Farjudian
2022 J jnl
Robustness, Scott Continuity, and Computability.
CoRR
Amin Farjudian, Eugenio Moggi
2020 B conf
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems.
MFPS
Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson
2019 C conf
Computable Analysis of Linear Rearrangement Optimization.
TAMC
Amin Farjudian
2019 — conf
System Analysis and Robustness.
ICTCS
Eugenio Moggi, Amin Farjudian, Walid Taha
2018 J jnl
Optimal harvesting strategy based on rearrangements of functions.
Appl. Math. Comput.
Behrouz Emamizadeh, Amin Farjudian, Yichen Liu
2018 J jnl
Safe & robust reachability analysis of hybrid systems.
Theor. Comput. Sci.
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2018 — conf
System Analysis and Robustness.
Models, Mindsets, Meta
Eugenio Moggi, Amin Farjudian, Walid Taha
2017 J jnl
An Elliptic Optimal Control Problem and its Two Relaxations.
J. Optim. Theory Appl.
Behrouz Emamizadeh, Amin Farjudian, Hayk Mikayelyan
2017 J jnl
Safe & Robust Reachability Analysis of Hybrid Systems.
CoRR
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2014 — conf
Function Interval Arithmetic.
ICMS
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
2013 J jnl
On the Kolmogorov complexity of continuous real functions.
Ann. Pure Appl. Log.
Amin Farjudian
2012 C conf
Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures.
WoLLIC
Amin Farjudian
2011 C conf
On the Kolmogorov Complexity of Continuous Real Functions.
CiE
Amin Farjudian
2010 J jnl
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values.
J. Univers. Comput. Sci.
Michal Konecný, Amin Farjudian
2010 J jnl
Semantics of Query-Driven Communication of Exact Values.
J. Univers. Comput. Sci.
Michal Konecný, Amin Farjudian
2008 C conf
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.
WoLLIC
Amin Farjudian, Michal Konecný
2007 J jnl
Shrad: A Language for Sequential Real Number Computation.
Theory Comput. Syst.
Amin Farjudian
2005 C conf
Shrad: A Language for Sequential Real Number Computation.
CiE
Amin Farjudian
2002 — conf
Sequentiality and Piecewise-affinity in Segments of Real-PCF.
Workshop on Domains
Amin Farjudian