Abbas Edalat

Orcid: 0000-0002-6211-1991

Affiliations:
  • Imperial College London, UK


According to our database1, Abbas Edalat authored at least 83 papers between 1991 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Cartesian Closed Category for Random Variables.
CoRR, 2024

Systematic Literature Review: Computational Approaches for Humour Style Classification.
CoRR, 2024

2023
Recursive solution of initial value problems with temporal discretization.
Theor. Comput. Sci., November, 2023

Pure Bayesian Nash equilibrium for Bayesian games with multidimensional vector Types and linear payoffs.
CoRR, 2023

From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment Technique.
CoRR, 2023

2022
Smooth Approximation of Lipschitz Maps and Their Subgradients.
J. ACM, 2022

A language for evaluating derivatives of functionals using automatic differentiation.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2022

A Multilingual Virtual Guide for Self-Attachment Technique.
Proceedings of the 4th IEEE International Conference on Cognitive Machine Intelligence, 2022

2021
An interactive VR platform with emotion recognition for self-attachment intervention.
EAI Endorsed Trans. Pervasive Health Technol., 2021

Valence/Arousal Estimation of Occluded Faces from VR Headsets.
Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

An Empathetic AI Coach for Self-Attachment Therapy.
Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

2020
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy.
Proceedings of the IEEE International Conference on Artificial Intelligence and Virtual Reality, 2020

2019
The convex hull of finitely generable subsets and its predicate transformer.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in Multi-Environments.
Games, 2018

Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games.
CoRR, 2018

Differential Calculus with Imprecise Input and Its Logical Framework.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
A domain-theoretic approach to Brownian motion and general continuous stochastic processes.
Theor. Comput. Sci., 2017

Differentiation in logical form.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations.
Theor. Comput. Sci., 2015

Extensions of Domain Maps in Differential and Integral Calculus.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Introduction to self-attachment and its neural basis.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

Towards a neural model of bonding in self-attachment.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

Reinforcement Learning for Nash Equilibrium Generation.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
A neural model of mentalization/mindfulness based psychotherapy.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

2013
A computational model for multi-variable differential calculus.
Inf. Comput., 2013

Capacity of strong attractor patterns to model behavioural and cognitive prototypes.
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns.
Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

A Language for Differentiable Functions.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012
Multi-games and a double game extension of the Prisoner's Dilemma
CoRR, 2012

2011
Visual Hull from Imprecise Polyhedral Scene.
Proceedings of the International Conference on 3D Imaging, 2011

2009
A computable approach to measure and integration theory.
Inf. Comput., 2009

2008
Weak Topology and a Differentiable Operator for Lipschitz Maps.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007
Denotational semantics of hybrid automata.
J. Log. Algebraic Methods Program., 2007

A Continuous Derivative for Real-Valued Functions.
Proceedings of the Computation and Logic in the Real World, 2007

2005
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields.
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Inverse and Implicit Functions in Domain Theory.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Computability in Computational Geometry.
Proceedings of the New Computational Paradigms, 2005

2004
Domain theory and differential calculus (functions of one variable).
Math. Struct. Comput. Sci., 2004

Introduction to special issue on domain theory.
Math. Struct. Comput. Sci., 2004

A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.
Proceedings of the Applied Parallel Computing, 2004

A Domain Theoretic Account of Picard's Theorem.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Domain-theoretic Solution of Differential Equations (Scalar Fields).
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

Computing Delaunay Triangulation with Imprecise Input Data.
Proceedings of the 15th Canadian Conference on Computational Geometry, 2003

2002
Foundation of a computable solid modelling.
Theor. Comput. Sci., 2002

Bisimulation for Labelled Markov Processes.
Inf. Comput., 2002

Computability of Partial Delaunay Triangulation and Voronoi Diagram.
Proceedings of the Computability and Complexity in Analysis, 2002

2001
The convex hull in a new model of computation.
Proceedings of the 13th Canadian Conference on Computational Geometry, 2001

2000
Integration in Real PCF.
Inf. Comput., 2000

The domain of differentiable functions.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Computing with Real Numbers.
Proceedings of the Applied Semantics, International Summer School, 2000

1999
Computable Banach Spaces via Domain Theory.
Theor. Comput. Sci., 1999

A Domain-Theoretic Approach to Computability on the Real Line.
Theor. Comput. Sci., 1999

Semi-pullbacks and bisimulation in categories of Markov processes.
Math. Struct. Comput. Sci., 1999

Foundation of a computable solid modeling.
Proceedings of the Fifth ACM Symposium on Solid Modeling and Applications, 1999

Numerical Integration with Exact Real Arithmetic.
Proceedings of the Automata, 1999

1998
A Computational Model for Metric Spaces.
Theor. Comput. Sci., 1998

Preface.
Proceedings of the Workshop on Real Number Computation, 1998

A Logical Characterization of Bisimulation for Labeled Markov Processes.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Lazy Computation with Exact Real Numbers.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997
When Scott is Weak on the Top.
Math. Struct. Comput. Sci., 1997

Bounding the Attractor of an IFS.
Inf. Process. Lett., 1997

An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets.
Proceedings of the Third Workshop on Computation and Approximation, 1997

A new representation for exact real numbers.
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Preface.
Proceedings of the Third Workshop on Computation and Approximation, 1997

An extension result for continuous valuations.
Proceedings of the Third Workshop on Computation and Approximation, 1997

Domains for computation in mathematics, physics and exact real arithmetic.
Bull. Symb. Log., 1997

Semantics of Exact Real Arithmetic.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Bisimulation for Labelled Markov Processes.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996
Power Domains and Iterated Function Systems.
Inf. Comput., 1996

The Scott Topology Induces the Weak Topology.
Proceedings of the Proceedings, 1996

1995
Dynamical Systems, Measures and Fractals via Domain Theory
Inf. Comput., July, 1995

Domain Theory and Integration.
Theor. Comput. Sci., 1995

Domain theory in learning processes.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Domain Theory in Stochastic Processes
Proceedings of the Proceedings, 1995

An upper bound on the area occupied by a fractal.
Proceedings of the 1995 International Conference on Acoustics, 1995

1994
Domain of Computation of a Random Field in Statistical Physics.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993
I-Categories as a Framework for Solving Domain Equations.
Theor. Comput. Sci., 1993

Information categories.
Appl. Categorical Struct., 1993

Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.
Proceedings of the Theory and Formal Methods 1993, 1993

1992
Compact Metric Information Systems (Extended Abstract).
Proceedings of the Sematics: Foundations and Applications, 1992

Continuous I-Categories.
Proceedings of the Logical Foundations of Computer Science, 1992

1991
Categories of Information Systems.
Proceedings of the Category Theory and Computer Science, 1991


  Loading...