Research output per year
Research output per year
- 12 results
Search results
-
2024
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 AccessFile20 Downloads (Pure) -
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 AccessFile34 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 AccessFile36 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 AccessFile59 Downloads (Pure) -
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 AccessFile25 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 Access2 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) -
2018
Safe & robust reachability analysis of hybrid systems
Moggi, E., Farjudian, A., Duracz, A. & Taha, W., 7 Nov 2018, In: Theoretical Computer Science. 747, p. 75-99 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Citations (Scopus)10 Downloads (Pure) -
2016
Existence and uniqueness of solutions for nonlocal p-Laplacian problems
Emamizadeh, B. & Farjudian, A., 2016, In: Electronic Journal of Differential Equations. p. 1 9 p., 274.Research output: Contribution to journal › Article › peer-review
-
2015
Absolute Continuity in Partial Differential Equations
Farjudian, A. & Emamizadeh, B., 2015, In: Real Analysis Exchange. 40, 1, p. 209 218 p.Research output: Contribution to journal › Article › peer-review