Showing results 1 to 6 of 6
AN IMPROVED ALGORITHM FOR PROTOCOL VALIDATION BY EXTENDED CIRCULAR EXPLORATION GONG, JC; KIM, BM; Yoon, Hyunsoo; Lee, Heung-Kyu; HWANG, SY, MICROPROCESSING AND MICROPROGRAMMING, v.36, no.4, pp.179 - 194, 1993-09 |
Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
On the Social-Relational Moral Standing of Al: An Empirical Study Using Al-Generated Art Lima, Gabriel; Zhunis, Assem; Manovich, Lev; Cha, Meeyoung, FRONTIERS IN ROBOTICS AND AI, v.8, 2021-08 |
Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics Ziegler, Martin, APPLIED MATHEMATICS AND COMPUTATION, v.215, no.4, pp.1431 - 1447, 2009-10 |
Real hypercomputation and continuity Ziegler, Martin, THEORY OF COMPUTING SYSTEMS, v.41, no.1, pp.177 - 206, 2007-07 |
Uncomputability below the real halting problem Meer, Klaus; Ziegler, Martin, LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, v.3988, pp.368 - 377, 2006 |
Discover