Follow
Lim Yohanes Stefanus
Lim Yohanes Stefanus
Verified email at staff.ui.ac.id
Title
Cited by
Cited by
Year
On the Risch-Norman integration method and its implementation in MAPLE
KO Geddes, LY Stefanus
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989
181989
Recognition of sign language system for Indonesian language using long short-term memory neural networks
E Rakun, AM Arymurthy, LY Stefanus, AF Wicaksono, IWW Wisesa
Advanced Science Letters 24 (2), 999-1004, 2018
82018
Recognizing The Components of Inflectional Word Gestures in Indonesian Sign System known as SIBI (Sistem Isyarat Bahasa Indonesia) by using Lip Motion
K Anggraini, E Rakun, LY Stefanus
2019 International Conference on Electrical Engineering and Informatics …, 2019
72019
The antecedents of trust and their influence on m-health adoption
WR Fitriani, AF Wicaksono, DG Joewono, MZ Zaffar, RA Shahputra, ...
2020 Fifth International Conference on Informatics and Computing (ICIC), 1-6, 2020
52020
An asymmetric contrastive loss for handling imbalanced datasets
V Vito, LY Stefanus
Entropy 24 (9), 1303, 2022
32022
The weak completion semantics and equality
EAD Saldanha, S Hölldobler, S Schwarz, LY Stefanus
Proceedings of the 22nd International Conference on Logic for Programming …, 2018
32018
Shape representations with blossoms and buds
LY Stefanus
Geometric Modeling and Processing-GMP 2006: 4th International Conference …, 2006
32006
Towards Automated Verification of Database Scripts
A Azurat, I Prasetya, TEJ Vos, H Suhartanto, B Widjaja, LY Stefanus, ...
THEOREM PROVING IN HIGHER ORDER LOGICS: EMERGING TRENDS PROCEEDINGS, 1, 2005
32005
On the Linear Independence of the Bivariate Discrete Convolution Blending Functions.
LY Stefanus, RN Goldman
CATS, 231-244, 1998
31998
Personal Chatbot Evaluation with Elaboration Likelihood Model on Social Messaging Application
MAA Praditomo, AN Hidayanto, LY Stefanus, WS Nugroho, RMS Ibrahim
2022 10th International Conference on Information and Communication …, 2022
12022
Surface representations using blossoms and buds
LY Stefanus
2008 IEEE International Conference on Shape Modeling and Applications, 139-145, 2008
12008
Adaptive Monte Carlo search for conjecture refutation in graph theory
V Vito, LY Stefanus
arXiv preprint arXiv:2306.07956, 2023
2023
Least Square Adversarial Autoencoder
MA Sinaga, LY Stefanus
2020 International Conference on Advanced Computer Science and Information …, 2020
2020
METODE PEMBANGKIT ISYARAT SIBI (SISTEM ISYARAT BAHASA INDONESIA) DARI TEKS KALIMAT BAHASA INDONESIA PADA GAWAI
E Rakun, LY Stefanus, M Adriani
2020
EPIC SERIES IN COMPUTING
M Baaz, A Lolic, EAD Saldanha, S Hölldobler, S Schwarz, LY Stefanus, ...
2018
Sistem Penerjemah SIBI (Sistem Isyarat Bahasa Indonesia) Ke Teks Bahasa Indonesia Pada Telefon Pintar Dengan Menggunakan Aplikasi
E Rakun, LY Stefanus, D Hardianto
2017
A Prolog-based Proof Tool for Type Theory TAλ and Implicational Intuitionistic-Logic
LY Stefanus, A Santoso
Geoff Sutcliffe Eugenia Ternovska Stephan Schulz, 2010
2010
De Boor-Fix dual functionals for transformation from polynomial basis to convolution basis
LY Stefanus
ACM Communications in Computer Algebra 42 (3), 146-148, 2009
2009
Rancang Bangun Program Pengeditan Kurva B-spline Multiresolusi Berbasis Wavelets
N Suciati, LY Stefanus
Jurnal Ilmiah Teknologi Informasi 1 (1), 1-11, 2002
2002
Foundations for Machine Learning
LY Stefanus
The system can't perform the operation now. Try again later.
Articles 1–20