Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Abbas Edalat
@article{DBLP:journals/corr/abs-2402-01759, author = {Mary Ogbuka Kenneth and Foaad Khosmood and Abbas Edalat}, title = {Systematic Literature Review: Computational Approaches for Humour Style Classification}, journal = {CoRR}, volume = {abs/2402.01759}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.01759}, doi = {10.48550/ARXIV.2402.01759}, eprinttype = {arXiv}, eprint = {2402.01759}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-01759.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-11727, author = {Pietro Di Gianantonio and Abbas Edalat}, title = {A Cartesian Closed Category for Random Variables}, journal = {CoRR}, volume = {abs/2402.11727}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.11727}, doi = {10.48550/ARXIV.2402.11727}, eprinttype = {arXiv}, eprint = {2402.11727}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-11727.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatFL23, author = {Abbas Edalat and Amin Farjudian and Yiran Li}, title = {Recursive solution of initial value problems with temporal discretization}, journal = {Theor. Comput. Sci.}, volume = {980}, pages = {114221}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.114221}, doi = {10.1016/J.TCS.2023.114221}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatFL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-03920, author = {Abbas Edalat and Amin Farjudian and Yiran Li}, title = {Recursive Solution of Initial Value Problems with Temporal Discretization}, journal = {CoRR}, volume = {abs/2301.03920}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.03920}, doi = {10.48550/ARXIV.2301.03920}, eprinttype = {arXiv}, eprint = {2301.03920}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-03920.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-09362, author = {Sina Elahimanesh and Shayan Salehi and Sara Zahedi Movahed and Lisa Alazraki and Ruoyu Hu and Abbas Edalat}, title = {From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment Technique}, journal = {CoRR}, volume = {abs/2310.09362}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.09362}, doi = {10.48550/ARXIV.2310.09362}, eprinttype = {arXiv}, eprint = {2310.09362}, timestamp = {Wed, 25 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-09362.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-13992, author = {S{\'{e}}bastien Huot and Abbas Edalat}, title = {Pure Bayesian Nash equilibrium for Bayesian games with multidimensional vector Types and linear payoffs}, journal = {CoRR}, volume = {abs/2310.13992}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.13992}, doi = {10.48550/ARXIV.2310.13992}, eprinttype = {arXiv}, eprint = {2310.13992}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-13992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-18366, author = {Alicia Jiayun Law and Ruoyu Hu and Lisa Alazraki and Anandha Gopalan and Neophytos Polydorou and Abbas Edalat}, title = {A Multilingual Virtual Guide for Self-Attachment Technique}, journal = {CoRR}, volume = {abs/2310.18366}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.18366}, doi = {10.48550/ARXIV.2310.18366}, eprinttype = {arXiv}, eprint = {2310.18366}, timestamp = {Thu, 02 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-18366.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Edalat22, author = {Abbas Edalat}, title = {Smooth Approximation of Lipschitz Maps and Their Subgradients}, journal = {J. {ACM}}, volume = {69}, number = {1}, pages = {8:1--8:32}, year = {2022}, url = {https://doi.org/10.1145/3481805}, doi = {10.1145/3481805}, timestamp = {Tue, 15 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Edalat22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogmi/LawHAGPE22, author = {Alicia Jiayun Law and Ruoyu Hu and Lisa Alazraki and Anandha Gopalan and Neophytos Polydorou and Abbas Edalat}, title = {A Multilingual Virtual Guide for Self-Attachment Technique}, booktitle = {4th {IEEE} International Conference on Cognitive Machine Intelligence, CogMI 2022, Atlanta, GA, USA, December 14-17, 2022}, pages = {107--116}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CogMI56440.2022.00025}, doi = {10.1109/COGMI56440.2022.00025}, timestamp = {Wed, 29 Mar 2023 11:07:46 +0200}, biburl = {https://dblp.org/rec/conf/cogmi/LawHAGPE22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2210-06095, author = {Pietro Di Gianantonio and Abbas Edalat and Ran Gutin}, editor = {Marie Kerjean and Paul Blain Levy}, title = {A language for evaluating derivatives of functionals using automatic differentiation}, booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023}, series = {{EPTICS}}, volume = {3}, publisher = {EpiSciences}, year = {2022}, url = {https://doi.org/10.46298/entics.12303}, doi = {10.46298/ENTICS.12303}, timestamp = {Wed, 03 Jan 2024 15:36:41 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-06095.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-08316, author = {Lisa Alazraki and Ali Ghachem and Neophytos Polydorou and Foaad Khosmood and Abbas Edalat}, title = {An Empathetic {AI} Coach for Self-Attachment Therapy}, journal = {CoRR}, volume = {abs/2209.08316}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.08316}, doi = {10.48550/ARXIV.2209.08316}, eprinttype = {arXiv}, eprint = {2209.08316}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-08316.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/phat/PolydorouE21, author = {Neophytos Polydorou and Abbas Edalat}, title = {An interactive {VR} platform with emotion recognition for self-attachment intervention}, journal = {{EAI} Endorsed Trans. Pervasive Health Technol.}, volume = {7}, number = {29}, pages = {e5}, year = {2021}, url = {https://doi.org/10.4108/eai.14-9-2021.170951}, doi = {10.4108/EAI.14-9-2021.170951}, timestamp = {Fri, 10 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/phat/PolydorouE21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogmi/AlazrakiGPKE21, author = {Lisa Alazraki and Ali Ghachem and Neophytos Polydorou and Foaad Khosmood and Abbas Edalat}, title = {An Empathetic {AI} Coach for Self-Attachment Therapy}, booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence, CogMI 2021, Atlanta, GA, USA, December 13-15, 2021}, pages = {78--87}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CogMI52975.2021.00019}, doi = {10.1109/COGMI52975.2021.00019}, timestamp = {Wed, 20 Apr 2022 16:01:05 +0200}, biburl = {https://dblp.org/rec/conf/cogmi/AlazrakiGPKE21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogmi/GotsmanPE21, author = {Tom Gotsman and Neophytos Polydorou and Abbas Edalat}, title = {Valence/Arousal Estimation of Occluded Faces from {VR} Headsets}, booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence, CogMI 2021, Atlanta, GA, USA, December 13-15, 2021}, pages = {96--105}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CogMI52975.2021.00021}, doi = {10.1109/COGMI52975.2021.00021}, timestamp = {Wed, 20 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cogmi/GotsmanPE21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aivr/GhaznaviGNE20, author = {Ibrahim Ghaznavi and Duncan Gillies and Dasha Nicholls and Abbas Edalat}, title = {Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy}, booktitle = {{IEEE} International Conference on Artificial Intelligence and Virtual Reality, {AIVR} 2020, Virtual Event, The Netherlands, December 14-18, 2020}, pages = {60--67}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/AIVR50618.2020.00022}, doi = {10.1109/AIVR50618.2020.00022}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aivr/GhaznaviGNE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/EdalatFMP20, author = {Abbas Edalat and Amin Farjudian and Mina Mohammadian and Dirk Pattinson}, editor = {Patricia Johann}, title = {Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems}, booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2020, Online, October 1, 2020}, series = {Electronic Notes in Theoretical Computer Science}, volume = {352}, pages = {105--128}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.entcs.2020.09.006}, doi = {10.1016/J.ENTCS.2020.09.006}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfps/EdalatFMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DavariEL19, author = {Mohammad{-}Javad Davari and Abbas Edalat and Andr{\'{e}} Lieutier}, title = {The convex hull of finitely generable subsets and its predicate transformer}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--14}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785680}, doi = {10.1109/LICS.2019.8785680}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/lics/DavariEL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/games/EdalatGG18, author = {Abbas Edalat and Samira Hossein Ghorban and Ali Ghoroghi}, title = {Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in Multi-Environments}, journal = {Games}, volume = {9}, number = {4}, pages = {85}, year = {2018}, url = {https://doi.org/10.3390/g9040085}, doi = {10.3390/G9040085}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/games/EdalatGG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/EdalatM18, author = {Abbas Edalat and Mehrdad Maleki}, editor = {Christel Baier and Ugo Dal Lago}, title = {Differential Calculus with Imprecise Input and Its Logical Framework}, booktitle = {Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10803}, pages = {459--475}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89366-2\_25}, doi = {10.1007/978-3-319-89366-2\_25}, timestamp = {Fri, 31 Jan 2020 21:32:20 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/EdalatM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-02806, author = {Abbas Edalat and Samira Hossein Ghorban}, title = {Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games}, journal = {CoRR}, volume = {abs/1804.02806}, year = {2018}, url = {http://arxiv.org/abs/1804.02806}, eprinttype = {arXiv}, eprint = {1804.02806}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-02806.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BilokonE17, author = {Paul Bilokon and Abbas Edalat}, title = {A domain-theoretic approach to Brownian motion and general continuous stochastic processes}, journal = {Theor. Comput. Sci.}, volume = {691}, pages = {10--26}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2017.07.016}, doi = {10.1016/J.TCS.2017.07.016}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BilokonE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EdalatM17, author = {Abbas Edalat and Mehrdad Maleki}, title = {Differentiation in logical form}, booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/LICS.2017.8005143}, doi = {10.1109/LICS.2017.8005143}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EdalatM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Edalat15, author = {Abbas Edalat}, title = {A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations}, journal = {Theor. Comput. Sci.}, volume = {564}, pages = {89--106}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2014.11.003}, doi = {10.1016/J.TCS.2014.11.003}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Edalat15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/CitternE15, author = {David Cittern and Abbas Edalat}, editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind}, title = {Reinforcement Learning for Nash Equilibrium Generation}, booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015}, pages = {1727--1728}, publisher = {{ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2773406}, timestamp = {Tue, 08 Mar 2022 10:12:47 +0100}, biburl = {https://dblp.org/rec/conf/atal/CitternE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/CitternE15, author = {David Cittern and Abbas Edalat}, title = {Towards a neural model of bonding in self-attachment}, booktitle = {2015 International Joint Conference on Neural Networks, {IJCNN} 2015, Killarney, Ireland, July 12-17, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IJCNN.2015.7280548}, doi = {10.1109/IJCNN.2015.7280548}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/CitternE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/Edalat15, author = {Abbas Edalat}, title = {Introduction to self-attachment and its neural basis}, booktitle = {2015 International Joint Conference on Neural Networks, {IJCNN} 2015, Killarney, Ireland, July 12-17, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IJCNN.2015.7280780}, doi = {10.1109/IJCNN.2015.7280780}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/Edalat15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat15, author = {Abbas Edalat}, title = {Extensions of Domain Maps in Differential and Integral Calculus}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {426--437}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.47}, doi = {10.1109/LICS.2015.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BilokonE14, author = {Paul Bilokon and Abbas Edalat}, editor = {Thomas A. Henzinger and Dale Miller}, title = {A domain-theoretic approach to Brownian motion and general continuous stochastic processes}, booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014}, pages = {15:1--15:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2603088.2603102}, doi = {10.1145/2603088.2603102}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csl/BilokonE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/EdalatL14, author = {Abbas Edalat and Zheng Lin}, title = {A neural model of mentalization/mindfulness based psychotherapy}, booktitle = {2014 International Joint Conference on Neural Networks, {IJCNN} 2014, Beijing, China, July 6-11, 2014}, pages = {2743--2751}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IJCNN.2014.6889896}, doi = {10.1109/IJCNN.2014.6889896}, timestamp = {Sat, 12 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/EdalatL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/EdalatLP13, author = {Abbas Edalat and Andr{\'{e}} Lieutier and Dirk Pattinson}, title = {A computational model for multi-variable differential calculus}, journal = {Inf. Comput.}, volume = {224}, pages = {23--45}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2012.11.006}, doi = {10.1016/J.IC.2012.11.006}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/EdalatLP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/GianantonioE13, author = {Pietro Di Gianantonio and Abbas Edalat}, editor = {Frank Pfenning}, title = {A Language for Differentiable Functions}, booktitle = {Foundations of Software Science and Computation Structures - 16th International Conference, {FOSSACS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7794}, pages = {337--352}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37075-5\_22}, doi = {10.1007/978-3-642-37075-5\_22}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/GianantonioE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/EdalatM13, author = {Abbas Edalat and Federico Mancinelli}, title = {Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns}, booktitle = {The 2013 International Joint Conference on Neural Networks, {IJCNN} 2013, Dallas, TX, USA, August 4-9, 2013}, pages = {1--10}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IJCNN.2013.6706924}, doi = {10.1109/IJCNN.2013.6706924}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/EdalatM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/Edalat13, author = {Abbas Edalat}, editor = {Christopher J. C. Burges and L{\'{e}}on Bottou and Zoubin Ghahramani and Kilian Q. Weinberger}, title = {Capacity of strong attractor patterns to model behavioural and cognitive prototypes}, booktitle = {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, Lake Tahoe, Nevada, United States}, pages = {2661--2669}, year = {2013}, url = {https://proceedings.neurips.cc/paper/2013/hash/39e4973ba3321b80f37d9b55f63ed8b8-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/Edalat13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-4973, author = {Abbas Edalat and Ali Ghoroghi and Georgios Sakellariou}, title = {Multi-games and a double game extension of the Prisoner's Dilemma}, journal = {CoRR}, volume = {abs/1205.4973}, year = {2012}, url = {http://arxiv.org/abs/1205.4973}, eprinttype = {arXiv}, eprint = {1205.4973}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-4973.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/3dim/HeE11, author = {Peng He and Abbas Edalat}, editor = {Michael Goesele and Yasuyuki Matsushita and Ryusuke Sagawa and Ruigang Yang}, title = {Visual Hull from Imprecise Polyhedral Scene}, booktitle = {International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission, 3DIMPVT 2011, Hangzhou, China, 16-19 May 2011}, pages = {164--171}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/3DIMPVT.2011.28}, doi = {10.1109/3DIMPVT.2011.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/3dim/HeE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Edalat09, author = {Abbas Edalat}, title = {A computable approach to measure and integration theory}, journal = {Inf. Comput.}, volume = {207}, number = {5}, pages = {642--659}, year = {2009}, url = {https://doi.org/10.1016/j.ic.2008.05.003}, doi = {10.1016/J.IC.2008.05.003}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Edalat09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat08, author = {Abbas Edalat}, title = {Weak Topology and a Differentiable Operator for Lipschitz Maps}, booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}}, pages = {364--375}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/LICS.2008.49}, doi = {10.1109/LICS.2008.49}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/EdalatP07, author = {Abbas Edalat and Dirk Pattinson}, title = {Denotational semantics of hybrid automata}, journal = {J. Log. Algebraic Methods Program.}, volume = {73}, number = {1-2}, pages = {3--21}, year = {2007}, url = {https://doi.org/10.1016/j.jlap.2007.01.002}, doi = {10.1016/J.JLAP.2007.01.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/EdalatP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmsjcm/EdalatP07, author = {Abbas Edalat and Dirk Pattinson}, title = {A Domain-Theoretic Account of Picard's Theorem}, journal = {{LMS} J. Comput. Math.}, volume = {10}, pages = {83--118}, year = {2007}, url = {https://doi.org/10.1112/s1461157000001315}, doi = {10.1112/S1461157000001315}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmsjcm/EdalatP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/Edalat07, author = {Abbas Edalat}, editor = {S. Barry Cooper and Benedikt L{\"{o}}we and Andrea Sorbi}, title = {A Continuous Derivative for Real-Valued Functions}, booktitle = {Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4497}, pages = {248--257}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73001-9\_26}, doi = {10.1007/978-3-540-73001-9\_26}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/Edalat07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat07, author = {Abbas Edalat}, title = {A computable approach to measure and integration theory}, booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}, pages = {463--472}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/LICS.2007.5}, doi = {10.1109/LICS.2007.5}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/EdalatP06, author = {Abbas Edalat and Dirk Pattinson}, editor = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {Denotational Semantics of Hybrid Automata}, booktitle = {Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 25-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3921}, pages = {231--245}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11690634\_16}, doi = {10.1007/11690634\_16}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/EdalatP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/EdalatKL05, author = {Abbas Edalat and Ali Asghar Khanban and Andr{\'{e}} Lieutier}, editor = {S. Barry Cooper and Benedikt L{\"{o}}we and Leen Torenvliet}, title = {Computability in Computational Geometry}, booktitle = {New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3526}, pages = {117--127}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494645\_15}, doi = {10.1007/11494645\_15}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/EdalatKL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/EdalatLP05, author = {Abbas Edalat and Andr{\'{e}} Lieutier and Dirk Pattinson}, editor = {Vladimiro Sassone}, title = {A Computational Model for Multi-variable Differential Calculus}, booktitle = {Foundations of Software Science and Computational Structures, 8th International Conference, {FOSSACS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3441}, pages = {505--519}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31982-5\_32}, doi = {10.1007/978-3-540-31982-5\_32}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/EdalatLP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EdalatP05, author = {Abbas Edalat and Dirk Pattinson}, title = {Inverse and Implicit Functions in Domain Theory}, booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}, pages = {417--426}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/LICS.2005.22}, doi = {10.1109/LICS.2005.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EdalatP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatP06, author = {Abbas Edalat and Dirk Pattinson}, editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and Achim Jung and Michael W. Mislove}, title = {Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields}, booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {155}, pages = {565--581}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.073}, doi = {10.1016/J.ENTCS.2005.11.073}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/EdalatJ04, author = {Abbas Edalat and Achim Jung}, title = {Introduction to special issue on domain theory}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {6}, pages = {769}, year = {2004}, url = {https://doi.org/10.1017/S0960129504004347}, doi = {10.1017/S0960129504004347}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/EdalatJ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/EdalatL04, author = {Abbas Edalat and Andr{\'{e}} Lieutier}, title = {Domain theory and differential calculus (functions of one variable)}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {6}, pages = {771--802}, year = {2004}, url = {https://doi.org/10.1017/S0960129504004359}, doi = {10.1017/S0960129504004359}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/EdalatL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EdalatP04, author = {Abbas Edalat and Dirk Pattinson}, editor = {Josep D{\'{\i}}az and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Donald Sannella}, title = {A Domain Theoretic Account of Picard's Theorem}, booktitle = {Automata, Languages and Programming: 31st International Colloquium, {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {494--505}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27836-8\_43}, doi = {10.1007/978-3-540-27836-8\_43}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EdalatP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/para/EdalatP04, author = {Abbas Edalat and Dirk Pattinson}, editor = {Jack J. Dongarra and Kaj Madsen and Jerzy Wasniewski}, title = {A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems}, booktitle = {Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, {PARA} 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3732}, pages = {112--121}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11558958\_13}, doi = {10.1007/11558958\_13}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/para/EdalatP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cccg/KhanbanE03, author = {Ali Asghar Khanban and Abbas Edalat}, title = {Computing Delaunay Triangulation with Imprecise Input Data}, booktitle = {Proceedings of the 15th Canadian Conference on Computational Geometry, CCCG'03, Halifax, Canada, August 11-13, 2003}, pages = {94--97}, year = {2003}, url = {http://www.cccg.ca/proceedings/2003/38.pdf}, timestamp = {Wed, 12 May 2021 14:19:37 +0200}, biburl = {https://dblp.org/rec/conf/cccg/KhanbanE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/EdalatKL03, author = {Abbas Edalat and Marko Krznaric and Andr{\'{e}} Lieutier}, editor = {Stephen D. Brookes and Prakash Panangaden}, title = {Domain-theoretic Solution of Differential Equations (Scalar Fields)}, booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al, QC, Canada, March 19-22, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {83}, pages = {99--112}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(03)50005-6}, doi = {10.1016/S1571-0661(03)50005-6}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfps/EdalatKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DesharnaisEP02, author = {Jos{\'{e}}e Desharnais and Abbas Edalat and Prakash Panangaden}, title = {Bisimulation for Labelled Markov Processes}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {163--193}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2962}, doi = {10.1006/INCO.2001.2962}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DesharnaisEP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatL02, author = {Abbas Edalat and Andr{\'{e}} Lieutier}, title = {Foundation of a computable solid modelling}, journal = {Theor. Comput. Sci.}, volume = {284}, number = {2}, pages = {319--345}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00091-3}, doi = {10.1016/S0304-3975(01)00091-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EdalatL02, author = {Abbas Edalat and Andr{\'{e}} Lieutier}, title = {Domain Theory and Differential Calculus (Functions of one Variable)}, booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}, pages = {277--286}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/LICS.2002.1029836}, doi = {10.1109/LICS.2002.1029836}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EdalatL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KhanbanEL02, author = {Ali Asghar Khanban and Abbas Edalat and Andr{\'{e}} Lieutier}, editor = {Vasco Brattka and Matthias Schr{\"{o}}der and Klaus Weihrauch}, title = {Computability of Partial Delaunay Triangulation and Voronoi Diagram}, booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {66}, number = {1}, pages = {91--103}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80381-5}, doi = {10.1016/S1571-0661(04)80381-5}, timestamp = {Tue, 06 Dec 2022 09:35:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KhanbanEL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cccg/EdalatLK01, author = {Abbas Edalat and Andr{\'{e}} Lieutier and Elham Kashefi}, title = {The convex hull in a new model of computation}, booktitle = {Proceedings of the 13th Canadian Conference on Computational Geometry, University of Waterloo, Ontario, Canada, August 13-15, 2001}, pages = {93--96}, year = {2001}, url = {http://www.cccg.ca/proceedings/2001/andre\_lieutier-74799.ps.gz}, timestamp = {Wed, 12 May 2021 14:19:37 +0200}, biburl = {https://dblp.org/rec/conf/cccg/EdalatLK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/EdalatE00, author = {Abbas Edalat and Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}}, title = {Integration in Real {PCF}}, journal = {Inf. Comput.}, volume = {160}, number = {1-2}, pages = {128--166}, year = {2000}, url = {https://doi.org/10.1006/inco.1999.2844}, doi = {10.1006/INCO.1999.2844}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/EdalatE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/EdalatH00, author = {Abbas Edalat and Reinhold Heckmann}, editor = {Gilles Barthe and Peter Dybjer and Lu{\'{\i}}s Pinto and Jo{\~{a}}o Saraiva}, title = {Computing with Real Numbers}, booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2395}, pages = {193--267}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45699-6\_5}, doi = {10.1007/3-540-45699-6\_5}, timestamp = {Fri, 17 Jul 2020 11:39:04 +0200}, biburl = {https://dblp.org/rec/conf/ac/EdalatH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Edalat00, author = {Abbas Edalat}, editor = {Ted Hurley and M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and Michel P. Schellekens and Anthony Karel Seda}, title = {The domain of differentiable functions}, booktitle = {First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, {MFCSIT} 2000, Cork, Ireland, July 20-21, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {40}, pages = {144}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80040-4}, doi = {10.1016/S1571-0661(05)80040-4}, timestamp = {Wed, 30 Nov 2022 10:58:03 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Edalat00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Edalat99, author = {Abbas Edalat}, title = {Semi-pullbacks and bisimulation in categories of Markov processes}, journal = {Math. Struct. Comput. Sci.}, volume = {9}, number = {5}, pages = {523--543}, year = {1999}, url = {http://journals.cambridge.org/action/displayAbstract?aid=44831}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Edalat99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatS99, author = {Abbas Edalat and Philipp S{\"{u}}nderhauf}, title = {A Domain-Theoretic Approach to Computability on the Real Line}, journal = {Theor. Comput. Sci.}, volume = {210}, number = {1}, pages = {73--98}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00097-8}, doi = {10.1016/S0304-3975(98)00097-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatS99a, author = {Abbas Edalat and Philipp S{\"{u}}nderhauf}, title = {Computable Banach Spaces via Domain Theory}, journal = {Theor. Comput. Sci.}, volume = {219}, number = {1-2}, pages = {169--184}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00288-6}, doi = {10.1016/S0304-3975(98)00288-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatS99a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EdalatK99, author = {Abbas Edalat and Marko Krznaric}, editor = {Jir{\'{\i}} Wiedermann and Peter van Emde Boas and Mogens Nielsen}, title = {Numerical Integration with Exact Real Arithmetic}, booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1644}, pages = {90--104}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48523-6\_7}, doi = {10.1007/3-540-48523-6\_7}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EdalatK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sma/EdalatL99, author = {Abbas Edalat and Andr{\'{e}} Lieutier}, editor = {Deba Dutta and Willem F. Bronsvoort and David C. Anderson}, title = {Foundation of a computable solid modeling}, booktitle = {Fifth {ACM} Symposium on Solid Modeling and Applications, Ann Arbor, Michigan, USA, June 9-11, 1999}, pages = {278--284}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/304012.304040}, doi = {10.1145/304012.304040}, timestamp = {Tue, 06 Nov 2018 11:07:49 +0100}, biburl = {https://dblp.org/rec/conf/sma/EdalatL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/realcomp/1998, editor = {Abbas Edalat and David W. Matula and Philipp S{\"{u}}nderhauf}, title = {Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {24}, publisher = {Elsevier}, year = {1999}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/24/suppl/C}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/realcomp/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatH98, author = {Abbas Edalat and Reinhold Heckmann}, title = {A Computational Model for Metric Spaces}, journal = {Theor. Comput. Sci.}, volume = {193}, number = {1-2}, pages = {53--73}, year = {1998}, url = {https://doi.org/10.1016/S0304-3975(96)00243-5}, doi = {10.1016/S0304-3975(96)00243-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/EdalatPS98, author = {Abbas Edalat and Peter John Potts and Philipp S{\"{u}}nderhauf}, editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec}, title = {Lazy Computation with Exact Real Numbers}, booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA, September 27-29, 1998}, pages = {185--194}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/289423.289441}, doi = {10.1145/289423.289441}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/icfp/EdalatPS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DesharnaisEP98, author = {Jos{\'{e}}e Desharnais and Abbas Edalat and Prakash Panangaden}, title = {A Logical Characterization of Bisimulation for Labeled Markov Processes}, booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998}, pages = {478--487}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/LICS.1998.705681}, doi = {10.1109/LICS.1998.705681}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/DesharnaisEP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatMS99, author = {Abbas Edalat and David W. Matula and Philipp S{\"{u}}nderhauf}, editor = {Abbas Edalat and David W. Matula and Philipp S{\"{u}}nderhauf}, title = {Preface}, booktitle = {Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {24}, pages = {1}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80618-8}, doi = {10.1016/S1571-0661(05)80618-8}, timestamp = {Wed, 23 Nov 2022 16:03:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Edalat97, author = {Abbas Edalat}, title = {Domains for computation in mathematics, physics and exact real arithmetic}, journal = {Bull. Symb. Log.}, volume = {3}, number = {4}, pages = {401--452}, year = {1997}, url = {https://doi.org/10.2307/421098}, doi = {10.2307/421098}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Edalat97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/EdalatSW97, author = {Abbas Edalat and David W. N. Sharp and Lyndon While}, title = {Bounding the Attractor of an {IFS}}, journal = {Inf. Process. Lett.}, volume = {64}, number = {4}, pages = {197--202}, year = {1997}, url = {https://doi.org/10.1016/S0020-0190(97)00156-7}, doi = {10.1016/S0020-0190(97)00156-7}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/EdalatSW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Edalat97, author = {Abbas Edalat}, title = {When Scott is Weak on the Top}, journal = {Math. Struct. Comput. Sci.}, volume = {7}, number = {5}, pages = {401--417}, year = {1997}, url = {https://doi.org/10.1017/S0960129597002338}, doi = {10.1017/S0960129597002338}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Edalat97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BluteDEP97, author = {Richard Blute and Jos{\'{e}}e Desharnais and Abbas Edalat and Prakash Panangaden}, title = {Bisimulation for Labelled Markov Processes}, booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997}, pages = {149--158}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/LICS.1997.614943}, doi = {10.1109/LICS.1997.614943}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BluteDEP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/PottsEE97, author = {Peter John Potts and Abbas Edalat and Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}}, title = {Semantics of Exact Real Arithmetic}, booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997}, pages = {248--257}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/LICS.1997.614952}, doi = {10.1109/LICS.1997.614952}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/PottsEE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatJKK98, author = {Abbas Edalat and Achim Jung and Klaus Keimel and Marta Z. Kwiatkowska}, editor = {Abbas Edalat and Achim Jung and Klaus Keimel and Marta Z. Kwiatkowska}, title = {Preface}, booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham, UK, September 11-13, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {13}, pages = {1}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80209-9}, doi = {10.1016/S1571-0661(05)80209-9}, timestamp = {Fri, 11 Nov 2022 13:45:54 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatJKK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Alvarez-ManillaES98, author = {Maurizio Alvarez{-}Manilla and Abbas Edalat and Nasser Saheb{-}Djahromi}, editor = {Abbas Edalat and Achim Jung and Klaus Keimel and Marta Z. Kwiatkowska}, title = {An extension result for continuous valuations}, booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham, UK, September 11-13, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {13}, pages = {2--11}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80210-5}, doi = {10.1016/S1571-0661(05)80210-5}, timestamp = {Sat, 02 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Alvarez-ManillaES98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatP98, author = {Abbas Edalat and Joseph Parry}, editor = {Abbas Edalat and Achim Jung and Klaus Keimel and Marta Z. Kwiatkowska}, title = {An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets}, booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham, UK, September 11-13, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {13}, pages = {31--40}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80212-9}, doi = {10.1016/S1571-0661(05)80212-9}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatP97, author = {Abbas Edalat and Peter John Potts}, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {A new representation for exact real numbers}, booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {6}, pages = {119--132}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80166-5}, doi = {10.1016/S1571-0661(05)80166-5}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/comprox/1997, editor = {Abbas Edalat and Achim Jung and Klaus Keimel and Marta Z. Kwiatkowska}, title = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham, UK, September 11-13, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {13}, publisher = {Elsevier}, year = {1997}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/13/suppl/C}, timestamp = {Fri, 11 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comprox/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Edalat96, author = {Abbas Edalat}, title = {Power Domains and Iterated Function Systems}, journal = {Inf. Comput.}, volume = {124}, number = {2}, pages = {182--197}, year = {1996}, url = {https://doi.org/10.1006/inco.1996.0014}, doi = {10.1006/INCO.1996.0014}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Edalat96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat96, author = {Abbas Edalat}, title = {The Scott Topology Induces the Weak Topology}, booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}, pages = {372--381}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/LICS.1996.561450}, doi = {10.1109/LICS.1996.561450}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EdalatE96, author = {Abbas Edalat and Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}}, title = {Integration in Real {PCF}}, booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}, pages = {382--393}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/LICS.1996.561453}, doi = {10.1109/LICS.1996.561453}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EdalatE96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Edalat95, author = {Abbas Edalat}, title = {Dynamical Systems, Measures and Fractals via Domain Theory}, journal = {Inf. Comput.}, volume = {120}, number = {1}, pages = {32--48}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1096}, doi = {10.1006/INCO.1995.1096}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Edalat95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Edalat95, author = {Abbas Edalat}, title = {Domain Theory and Integration}, journal = {Theor. Comput. Sci.}, volume = {151}, number = {1}, pages = {163--193}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(95)00050-7}, doi = {10.1016/0304-3975(95)00050-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Edalat95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/EdalatSW95, author = {Abbas Edalat and David W. N. Sharp and Ronald Lyndon While}, title = {An upper bound on the area occupied by a fractal}, booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995}, pages = {2443--2446}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/ICASSP.1995.479987}, doi = {10.1109/ICASSP.1995.479987}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icassp/EdalatSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat95, author = {Abbas Edalat}, title = {Domain Theory in Stochastic Processes}, booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995}, pages = {244--254}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/LICS.1995.523260}, doi = {10.1109/LICS.1995.523260}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Edalat95, author = {Abbas Edalat}, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove}, title = {Domain theory in learning processes}, booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {1}, pages = {114--131}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(04)80007-0}, doi = {10.1016/S1571-0661(04)80007-0}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Edalat95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imperial/Edalat94, author = {Abbas Edalat}, editor = {Chris Hankin and Ian Mackie and Rajagopal Nagarajan}, title = {Domain of Computation of a Random Field in Statistical Physics}, booktitle = {Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge, UK, 11-14 September 1994}, pages = {411--430}, publisher = {Imperial College Press}, year = {1994}, timestamp = {Wed, 20 Jun 2018 17:55:12 +0200}, biburl = {https://dblp.org/rec/conf/imperial/Edalat94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Edalat94, author = {Abbas Edalat}, title = {Domain Theory and Integration}, booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science {(LICS} '94), Paris, France, July 4-7, 1994}, pages = {115--124}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/LICS.1994.316080}, doi = {10.1109/LICS.1994.316080}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Edalat94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/EdalatS93, author = {Abbas Edalat and Michael B. Smyth}, title = {Information categories}, journal = {Appl. Categorical Struct.}, volume = {1}, number = {2}, pages = {197--232}, year = {1993}, url = {https://doi.org/10.1007/BF00880044}, doi = {10.1007/BF00880044}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/EdalatS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EdalatS93, author = {Abbas Edalat and Michael B. Smyth}, title = {I-Categories as a Framework for Solving Domain Equations}, journal = {Theor. Comput. Sci.}, volume = {115}, number = {1}, pages = {77--106}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90056-Y}, doi = {10.1016/0304-3975(93)90056-Y}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EdalatS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imperial/Edalat93, author = {Abbas Edalat}, editor = {Geoffrey Livingston Burn and Simon J. Gay and Mark Ryan}, title = {Dynamical Systems, Measures and Fractals Via Domain Theory}, booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993}, series = {Workshops in Computing}, pages = {82--99}, publisher = {Springer}, year = {1993}, timestamp = {Mon, 31 Oct 2022 11:04:42 +0100}, biburl = {https://dblp.org/rec/conf/imperial/Edalat93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imperial/Edalat93a, author = {Abbas Edalat}, editor = {Geoffrey Livingston Burn and Simon J. Gay and Mark Ryan}, title = {Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories}, booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993}, series = {Workshops in Computing}, pages = {100--114}, publisher = {Springer}, year = {1993}, timestamp = {Tue, 25 Feb 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/imperial/Edalat93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/Edalat92, author = {Abbas Edalat}, editor = {Anil Nerode and Michael A. Taitslin}, title = {Continuous I-Categories}, booktitle = {Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {620}, pages = {127--138}, publisher = {Springer}, year = {1992}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/Edalat92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/EdalatS92, author = {Abbas Edalat and Michael B. Smyth}, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {Compact Metric Information Systems (Extended Abstract)}, booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {666}, pages = {154--173}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56596-5\_33}, doi = {10.1007/3-540-56596-5\_33}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/rex/EdalatS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/EdalatS91, author = {Abbas Edalat and Michael B. Smyth}, editor = {David H. Pitt and Pierre{-}Louis Curien and Samson Abramsky and Andrew M. Pitts and Axel Poign{\'{e}} and David E. Rydeheard}, title = {Categories of Information Systems}, booktitle = {Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {530}, pages = {37--52}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0013456}, doi = {10.1007/BFB0013456}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/EdalatS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.