- Robustness, Scott Continuity, and Computability
2022/08/25 by Amin Farjudian, Farjudian, Amin, Eugenio Moggi +1 · 1 citation
Computer Science · Mathematics · #06B35 #18B35 #46B50 #54D30 #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Topological Duality for Distributive Lattices: Theory and Applications
2022/03/07 by Mai Gehrke, Sam van Gool, Gehrke, Mai +1 · 1 voice
Computer Science · Mathematics · #03G10 #06-01 #06B35 #54-01 #68Q70 #F.3.2 #F.4 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO
- A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
2022/03/01 by Zhou, Can, Shaikh, Razin A., Li, Yiran +1 · 1 citation
#06B35 #49J52 #68Q55 #68T37 #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Convolution and Concurrency
2020/02/06 by Cranch, James, Doherty, Simon, Struth, Georg · 1 citation
#03G10 #06B35 #08A55 #68Q85 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- On topological Rudin's lemma, well-filtered spaces and sober spaces
2019/11/25 by Xu, Xiaoquan, Zhao, Dongsheng · 1 citation
#06B35 #06F30 #54B99 #54D30 #FOS: Mathematics #General Topology (math.GN)
- A complete Heyting algebra whose Scott space is non-sober
2019/03/02 by Xu, Xiaoquan, Xi, Xiaoyong, Zhao, Dongsheng · 1 citation
#06B30 #06B35 #54A05 #FOS: Mathematics #General Topology (math.GN)
- Join-continuity + Hypercontinuity = Prime continuity
2016/07/07 by Weng Kin Ho, Ho, Weng Kin, Achim Jung +3 · 1 citation
Computer Science · Mathematics · #06B35 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Rings, Modules, and Algebras