- VLSI and Analog Circuit Testing
- Modular Robots and Swarm Intelligence
- Membrane Separation Technologies
- Wastewater Treatment and Nitrogen Removal
- Embedded Systems Design Techniques
- Medical Image Segmentation Techniques
- Topological and Geometric Data Analysis
- Software Testing and Debugging Techniques
- Digital Image Processing Techniques
Korea Advanced Institute of Science and Technology
2006-2024
University of Hong Kong
2006
Extracelluar polymeric substances (EPSs) and soluble microbial products (SMPs) produced by cultures involved in membrane biofouling have been widely investigated. A mathematical model of EPS SMP formation degradation was established based on the activated sludge no. 1 (ASM1) applied to bioreactor with different retention times (SRTs). The unified theory that distinct from overlapped each other integrated into ASM1. Two components, five processes eight parameters were newly added set up...
Command-line options (e.g., -l , -F -R for ls ) given to a command-line program can significantly alternate the behaviors of program. Thus, fuzzing not only file input but also improve test coverage and bug detection. In this paper, we propose ZigZagFuzz which achieves higher detects more bugs than state-of-the-art fuzzers by separately mutating inputs in an iterative/interleaving manner. applies following three core ideas. First, utilize different characteristics option domain domain,...
The study of the microstructure in cancellous bone is important osteoporosis research. In this paper, we focus extraction rod-like trabeculae bone, whose topological and geometrical properties are known to be strongly related strength. Three dimensional (3D) volume data obtained from micro computed tomography (micro-CT) scans used our analysis. Because complexity microstructure, mere use existing 3D digital topology methods unable yield satisfactory results for extraction. We devise several...