Browse "School of Computing(전산학부)" by Title
Showing results 3201 to 3220 of 16135
| Computability of the Solutions to Navier-Stokes Equations via Effective Approximation Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04 |
| Computability on regular subsets of Euclidean space Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.48, pp.157 - 181, 2002 |
| Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07 |
| Computable operators on regular sets Ziegler, M, MATHEMATICAL LOGIC QUARTERLY, v.50, no.4-5, pp.392 - 404, 2004 |
| Computation of non-dominated points using compact Voronoi diagrams Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, 4th International Workshop on Algorithms and Computation, WALCOM 2010, pp.82 - 93, 4th International Workshop on Algorithms and Computation, WALCOM 2010, 2010-02-10 |
| Computation of spatial skyline points Bhattacharya, Binay; Bishnu, Arijit; Cheong, Otfried; Das, Sandip; Karmakar, Arindam; Snoeyink, Jack, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, v.93, pp.101698, 2021-02 |
| Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26 |
| Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy Kawamura, Akitoshi; Mueller, Norbert; Roesnick, Carsten; Ziegler, Martin A., JOURNAL OF COMPLEXITY, v.31, no.5, pp.689 - 714, 2015-10 |
| Computational complexity of linear algebra problems with exponential size and real entries = 실수에서의 지수 크기 선형대수학 문제의 계산 복잡도link Koswara, Ivan Adrian; Ziegler, Martin; et al, 한국과학기술원, 2021 |
| Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
| Computational Complexity of Real Powering and Improved Solving Linear Differential Equations Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin A., 14th International Computer Science Symposium in Russia, pp.215 - 227, Springer International Publishing, 2019-07-05 |
| COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS Kawamura, Akitoshi; Ota, Hiroyuki; Roesnick, Carsten; Ziegler, Martin, LOGICAL METHODS IN COMPUTER SCIENCE, v.10, no.1, 2014 |
| Computational Considerations on Interpreting Even If Conditionals Choi, Key-Sun; Han, SK, Korean-Japanese Joint Workshop on Formal Grammar, pp.67 - 76, 1986 |
| Computational Generation of Context-based Intonation for Korean with Combinatory Categorial Grammar Lee, Hwa Jin; Park, Jong Cheol, International Conference on Computer Processing of Oriental Languages, pp.0 - 0, International Conference on Computer Processing of Oriental Languages, 2001-05-01 |
| Computational identification of sequence variation and environmental condition in clinical depression from biomedical literature = 생물학 문헌을 통한 우울증에서의 염기서열 변화와 환경조건 자동 식별link You, Jinseon; 유진선; et al, 한국과학기술원, 2016 |
| Computational imaging with light waves = 광파 특성을 이용한 계산 영상학link Baek, Seung-Hwan; Kim, Min Hyuk; et al, 한국과학기술원, 2019 |
| Computational power of infinite quantum parallelism Ziegler, M, INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, v.44, no.11, pp.2059 - 2071, 2005-11 |
| Computational Processing of Honorifics in Korean with Combinatory Categorial Grammar Kwon, O-Sik; Park, Jong Cheol, 한글 및 한국어 정보처리 학술대회, pp.365 - 372, 한글 및 한국어 정보처리 학술대회, 2001-10 |
| Computational support for facilitating parental reflective functioning in everyday parent-child interaction Kim, Wonjung; Lee, Seungchul; Kim, Seonghoon; Jo, Sungbin; Yoo, Chungkuk; Hwang, Inseok; Kang, Seungwoo; et al, ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, UbiComp/ISWC 2020, pp.54 - 58, Association for Computing Machinery, 2020-09 |
| Computer Application Technologies: Case Study in Republic of Chon, Kil Nam, Proc. of Symposium on Computer Application Technology, Japan, 1981 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,885 2020 - 2024
- 5,392 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989