• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2024
• 
  Jong Hyeon Lee, Jae Woo Shim, Min Hyuk Lim, Changhoon Baek, Byoungjun Jeon, Minwoo Cho, Sungwoo Park, Dong Hyun Choi, Byeong Soo Kim, Dan Yoon, Young Gyun Kim, Seung Yeon Cho, Kyung-Min Lee, Myoung-Souk Yeo, Hangman Zo, Sang Do Shin, Sungwan Kim:
  Towards optimal design of patient isolation units in emergency rooms to prevent airborne virus transmission: From computational fluid dynamics to data-driven modeling. Comput. Biol. Medicine 173: 108309 (2024)
• 
  Hyo-In Choi, Seung Jae Lee, Jong Doo Choi, GyungChul Kim, Young-Shin Lee, Jong-Young Lee:
  Efficacy of Wearable Single-Lead ECG Monitoring during Exercise Stress Testing: A Comparative Study. Sensors 24(19): 6394 (2024)
• 
  Duccio Abbaneo, Shakeel Ahmad, Raffaele Albanese, Andrey Alexandrov, Fabio Alicante, Konstantin Androsov, Anna Anokhina, Takashi Asada, Chayanit Asawatangtrakuldee, Marco A. Ayala Torres, Carlo Battilana, Aurelio Bay, Alcide Bertocco, Christopher Betancourt, Daniel Bick, Riddhi Biswas, Alberto Blanco Castro, Vincenzo Boccia, Mariyan Bogomilov, Daniele Bonacorsi, Walter Bonivento, Paula Bordalo, Alexey Boyarsky, Salvatore Buontempo, Mario Campanelli, TizianoCamporesi, Vincenzo Canale, Andrea Castro, Daniele Centanni, Francesco Cerutti, Mikhail Chernyavskiy, Ki Young Choi, Serhii Cholak, Federico Cindolo, Matei Climescu, Andrew Conaboy, Gaetano Marco Dallavalle, Daniele Davino, Paul de Bryas, Giovanni De Lellis, Massimiliano De Magistris, Albert De Roeck, Alvaro De Rújula, Marilisa De Serio, Dario De Simone, Antonia Di Crescenzo, Donato Di Ferdinando, Roberto Donà, Onur Durhan, Fabrizio Fabbri, Filips Fedotovs, Martina Ferrillo, Massimiliano Ferro-Luzzi, Rosa Anna Fini, Antimo Fiorillo, Raffaele Fresa, Wolfgang Funk, Francisca M. Garay Walls, Artem Golovatiuk, Andrey Golutvin, Elena Graverini, Ali M. Guler, Vasilisa Guliaeva, Guido J. Haefeli, Caren Hagner, Juan C. Helo Herrera, Eric van Herwijnen, Paolo Iengo, Simona Ilieva, Angelo Infantino, Antonio Iuliano, Richard Jacobsson, Cagin Kamiscioglu, Anni M. Kauniskangas, Emil Khalikov, Sung Hyun Kim, Yeong Gyun Kim, Guennadii Klioutchnikov, Masahiro Komatsu, Nina Konovalova, Sergey Kuleshov, Lukasz Krzempek, Heiko M. Lacker, Oliver Lantwin, Federico Lasagni Manghi, Adele Lauria, Kang Young Lee, Kyong Sei Lee, Sergio Lo Meo, Vincenzo Paolo Loschiavo, Stefano Marcellini, Annarita Margiotta, Anna Mascellani, Filippo Mei, Andrea Miano, A. Mikulenko, Maria Cristina Montesi, Francesco Luigi Navarria, Waraporn Nuntiyakul, Satoru Ogawa, Natalia Okateva, Maksym Ovchynnikov, Giulia Paggi, Byungdo Park, Alessandra Pastore, Andrea Perrotta, Dmitriy Podgrudkov, Natalia Polukhina, Andrea Prota, Antonio Quercia, Sérgio Ramos, Anupama Reghunath, Tatiana Roganova, Federico Ronchetti, Tiziano Rovelli, Oleg Ruchayskiy, Thomas Ruf, Marta Sabate Gilarte, Zhakypbek Sadykov, Mikhail Samoilov, Valentino Scalera, Walter Schmidt-Parzefall, Olivier Schneider, Givi Sekhniaidze, Nicola Serra, Mikhail Shaposhnikov, Vladimir Shevchenko, Tatiana Shchedrina, Lesya Shchutska, Hiroshi Shibuya, Saverio Simone, Gian P. Siroli, Gabriele Sirri, Guilherme Soares, Jong Yoon Sohn, Orlando J. Soto Sandoval, Maurizio Spurio, Nikolai Starkov, Jan Steggemann, Inar Timiryasov, Valeri Tioukov, Francesco Tramontano, Carina Trippl, Eduard Ursov, Andrey Ustyuzhanin, Galina Vankova-Kirilova, Gerardo Vasquez, Vassil Verguilov, Nuno Viegas Guerreiro Leonardo, Cristovao Vilela, Ciro Visone, Rainer Wanke, Eda Yaman, Zhibin Yang, Ceren Yazici, Chun Sil Yoon, Ettore Zaffaroni, Jilberto Zamora-Saá:
  Results and Perspectives from the First Two Years of Neutrino Physics at the LHC by the SND@LHC Experiment. Symmetry 16(6): 702 (2024)
• 
  Hanjoon Kim, Younggeun Choi, Junyoung Park, Byeongwook Bae, Hyunmin Jeong, Sang Min Lee, Jeseung Yeon, Minho Kim, Changjae Park, Boncheol Gu, Changman Lee, Jaeick Bae, SungGyeong Bae, Yojung Cha, Wooyoung Choe, Jonguk Choi, Juho Ha, Hyuck Han, Namoh Hwang, Seokha Hwang, Kiseok Jang, Haechan Je, Hojin Jeon, Jaewoo Jeon, Hyunjun Jeong, Yeonsu Jung, Dongok Kang, Hyewon Kim, Minjae Kim, Muhwan Kim, Sewon Kim, Suhyung Kim, Won Kim, Yong Kim, Youngsik Kim, Younki Ku, Jeong Ki Lee, Juyun Lee, Kyungjae Lee, Seokho Lee, Minwoo Noh, Hyuntaek Oh, Gyunghee Park, Sanguk Park, Jimin Seo, Jungyoung Seong, June Paik, Nuno P. Lopes, Sungjoo Yoo:
  TCP: A Tensor Contraction Processor for AI Workloads Industrial Product. ISCA 2024: 890-902
• 2022
• 
  Jae Hyuk Hwang, Jeehae Shin, Jiseok Han, Yong-Seok Choi, Sungmin Park, Yun Ho Kim, Yong Seok Kim, Hong Suk Kang, Dong-Gyun Kim, Jongchan Lee:
  Monolithically Assembled 3D Soft Transformable Robot. Adv. Intell. Syst. 4(9) (2022)
• 
  Jae Hyuk Hwang, Jeehae Shin, Jiseok Han, Yong-Seok Choi, Sungmin Park, Yun Ho Kim, Yong Seok Kim, Hong Suk Kang, Dong-Gyun Kim, Jongchan Lee:
  Monolithically Assembled 3D Soft Transformable Robot. Adv. Intell. Syst. 4(9) (2022)
• 2021
• 
  Tae Jong Choi, Julian Togelius, Yun-Gyung Cheong:
  A Fast and efficient stochastic opposition-based learning for differential evolution in numerical optimization. Swarm Evol. Comput. 60: 100768 (2021)
• 2020
• 
  Tae Jong Choi, Julian Togelius, Yun-Gyung Cheong:
  Advanced Cauchy Mutation for Differential Evolution in Numerical Optimization. IEEE Access 8: 8720-8734 (2020)
• 
  Hyungtai Kim, Minhee Lee, Min Kyun Sohn, Jongmin Lee, Deog Young Kim, Sam-Gyu Lee, Yong-Il Shin, Gyung-Jae Oh, Yang-Soo Lee, Cheol Min Joo, So Young Lee, Junhee Han, Jeonghoon Ahn, Won Hyuk Chang, Ji Yoo Choi, Sung Hyun Kang, Dong Han Lee, Young Taek Kim, Mun-Taek Choi, Yun-Hee Kim:
  Simultaneous Clustering and Classification of Function Recovery Patterns of Ischemic Stroke. J. Medical Imaging Health Informatics 10(6): 1401-1407 (2020)
• 2019
• 
  Tae Jong Choi, Julian Togelius, Yun-Gyung Cheong:
  ACM-DE: Adaptive p-best Cauchy Mutation with linear failure threshold reduction for Differential Evolution in numerical optimization. CoRR abs/1907.01095 (2019)
• 
  Tae Jong Choi, Julian Togelius, Yun-Gyung Cheong:
  A Fast and Efficient Stochastic Opposition-Based Learning for Differential Evolution in Numerical Optimization. CoRR abs/1908.08011 (2019)
• 2018
• 
  Tae Jong Choi, Yun-Gyung Cheong, Chang Wook Ahn:
  A Performance Comparison of Crossover Variations in Differential Evolution for Training Multi-layer Perceptron Neural Networks. BIC-TA (2) 2018: 477-488
• 2017
• 
  Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee:
  NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs. J. Comput. Sci. Eng. 11(1) (2017)
• 2014
• 
  Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee:
  NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants. ISIC 2014: 604-607
• 
  Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee:
  A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. ISSRE Workshops 2014: 210-215
• 2007
• 
  Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon:
  Defense-in-Depth and Diverse Qualification of Safety-Critical Software. SAFECOMP 2007: 258-263
• 2006
• 
  Jong-Gyun Choi, Poong Hyun Seong:
  Reliability assessment of embedded digital system using multi-state function. Reliab. Eng. Syst. Saf. 91(3): 261-269 (2006)
• 
  Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon:
  Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. SAFECOMP 2006: 85-98
• 2002
• 
  Chiung Moon, Jongsoo Kim, Gyunghyun Choi, Yoonho Seo:
  An efficient genetic algorithm for the traveling salesman problem with precedence constraints. Eur. J. Oper. Res. 140(3): 606-617 (2002)
• 2001
• 
  Jong-Gyun Choi, Poong-Hyun Seong:
  Dependability estimation of a digital system with consideration of software masking effects on hardware faults. Reliab. Eng. Syst. Saf. 71(1): 45-55 (2001)