Browse "School of Computing(전산학부)" by Subject MACHINES
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
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989