• 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 24 matches

• 2024
• 
  Xuan Loc Pham, Ha Manh Luu, Theo van Walsum, Hong Son Mai, Stefan Klein, Ngoc Ha Le, Trinh Chu Duc:
  CMAN: Cascaded Multi-scale Spatial Channel Attention-guided Network for large 3D deformable registration of liver CT images. Medical Image Anal. 96: 103212 (2024)
• 2023
• 
  Ha Manh Luu, Hong Son Mai, Xuan Loc Pham, Quoc Anh Le, Quoc Khanh Le, Theo van Walsum, Ngoc Ha Le, Daniel Robert Franklin, Ha Vu Le, Adriaan Moelker, Trinh Chu Duc, Nguyen Linh Trung:
  Quantification of liver-Lung shunt fraction on 3D SPECT/CT images for selective internal radiation therapy of liver cancer using CNN-based segmentations and non-rigid registration. Comput. Methods Programs Biomed. 233: 107453 (2023)
• 
  Linh Huynh Thi Thuy, Phu Nguyen Dang, Hung Cao, Hung Anh Nguyen, Jung-Chih Chiao, Chun-Ping Jen, Loc Do Quang, Trinh Chu Duc, Tung Thanh Bui:
  A Highly Sensitive Immunosensor for White Spot Syndrome Virus (WSSV) Envelope Protein VP28 Detection Based on Electrochemical Impedance Spectroscopy Technique. SENSORS 2023: 1-4
• 
  Hoang-Anh Phan, Phuc Vinh Nguyen, Thu Hang Thi Khuat, Hieu Dang Van, Dong Huu Quoc Tran, Bao Lam Dang, Tung Thanh Bui, Van Nguyen Thi Thanh, Trinh Chu Duc:
  A Sensor Fusion Approach for Improving Implementation Speed and Accuracy of RTAB-Map Algorithm Based Indoor 3D Mapping. JCSSE 2023: 219-224
• 
  Hoang-Anh Phan, Phuc Vinh Nguyen, Thu Hang Thi Khuat, Hieu Dang Van, Dong Huu Quoc Tran, Bao Lam Dang, Tung Thanh Bui, Van Nguyen Thi Thanh, Trinh Chu Duc:
  A sensor fusion approach for improving implementation speed and accuracy of RTAB-Map algorithm based indoor 3D mapping. CoRR abs/2305.04594 (2023)
• 2022
• 
  Ha Manh Luu, Theo van Walsum, Hong Son Mai, Daniel Robert Franklin, Thi Thu Thao Nguyen, Thi My Le, Adriaan Moelker, Van Khang Le, Dang Luu Vu, Ngoc Ha Le, Tran Quoc Long, Trinh Chu Duc, Nguyen Linh Trung:
  Automatic scan range for dose-reduced multiphase CT imaging of the liver utilizing CNNs and Gaussian models. Medical Image Anal. 78: 102424 (2022)
• 
  Ha Manh Luu, Theo van Walsum, Hong Son Mai, Daniel Robert Franklin, Thi Thu Thao Nguyen, Thi My Le, Adriaan Moelker, Van Khang Le, Dang Luu Vu, Ngoc Ha Le, Tran Quoc Long, Trinh Chu Duc, Nguyen Linh Trung:
  Automatic scan range for dose-reduced multiphase CT imaging of the liver utilizing CNNs and Gaussian models. Medical Image Anal. 78: 102422 (2022)
• 2021
• 
  Bao-Anh Hoang, Hang Tran Thanh, Ha Nguyen Thi Ngoc, Thao Pham Ngoc, Kien Do Trung, Ngoc-Thanh Le, Tran-Thuy Nguyen, Trinh Chu Duc, Tung Thanh Bui, Loc Do Quang:
  A Wireless Passive Capacitively Coupled Contactless Conductivity Detection (WPC4D) for Microfluidic Flow Monitoring. IEEE SENSORS 2021: 1-4
• 2020
• 
  Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar:
  Inter-theory dependency analysis for SMT string solvers. Proc. ACM Program. Lang. 4(OOPSLA): 192:1-192:27 (2020)
• 
  Loc Do Quang, Tung Thanh Bui, Bao-Anh Hoang, Cuong Nguyen Nhu, Ha Tran Thi Thuy, Chun-Ping Jen, Trinh Chu Duc:
  Biological Living Cell in-Flow Detection Based on Microfluidic Chip and Compact Signal Processing Circuit. IEEE Trans. Biomed. Circuits Syst. 14(6): 1371-1380 (2020)
• 
  Chi Tran Nhu, An Nguyen Ngoc, Van Thanh Dau, Chieu Le Van, Trinh Chu Duc, Tung Thanh Bui:
  Wearable Fluidic Strain Sensor for Human Motion Sensing. IEEE SENSORS 2020: 1-4
• 
  Cong Dan Pham, Phi Hung Nguyen, Xuan Vinh Chu, Van Hung Trinh, Duc Hai Nguyen:
  Predicting inactivity users in telecom. ICDM 2020: 79-90
• 
  Nguyen Duc Minh, Quach Duc-Cuong, Nguyen Quang Ninh, Y. Nhu Do, Trinh Trong Chuong:
  Design and Evaluation of the Grid-Connected Solar Power System at the Stage of DC BUS with Optimization of Modulation Frequency for Performance Improvement. INISCOM 2020: 270-288
• 2017
• 
  Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar:
  Model Counting for Recursively-Defined Strings. CAV (2) 2017: 399-418
• 
  Ang Samden Sherpa, Daniel Schossow, Michael Lenning, Paul Marsh, Nick Garzon, Peter Hofsteen, Hung Cao, Jingchun Yang, Xiaolei Xu, Van Nguyen Thi Thanh, Chi Tran Nhu, Tung Thanh Bui, Trinh Chu Duc:
  Novel apparatus for simultaneous monitoring of electrocardiogram in awake zebrafish. IEEE SENSORS 2017: 1-3
• 2016
• 
  Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar:
  Progressive Reasoning over Recursively-Defined Strings. CAV (1) 2016: 218-240
• 
  Tung Thanh Bui, Thien Xuan Dinh, Tibor Terebessy, Trinh Chu Duc, Van Thanh Dau:
  Jet flow focusing by corona discharge for fluidic application. IEEE SENSORS 2016: 1-3
• 
  Thu Hang Bui, An Tran, Bruno Morana, Jia Wei, Trinh Chu Duc, Pasqualina M. Sarro:
  Effect of the interruption of the propagation path on the response of surface acoustic wave transducers. IEEE SENSORS 2016: 1-3
• 
  Tiep Dang Dinh, Tung Thanh Bui, Tuan Vu Quoc, Thinh Pham Quoc, Masahiro Aoyagi, My Bui Ngoc, Trinh Chu Duc:
  Two-axis tilt angle detection based on dielectric liquid capacitive sensor. IEEE SENSORS 2016: 1-3
• 2015
• 
  Thu Hang Bui, Tung Bui Duc, Trinh Chu Duc:
  Microfluidic Injector Simulation With FSAW Sensor for 3-D Integration. IEEE Trans. Instrum. Meas. 64(4): 849-856 (2015)
• 
  Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh:
  Automatic induction proofs of data-structures in imperative programs. PLDI 2015: 457-466
• 2014
• 
  Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar:
  S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS 2014: 1232-1243
• 
  Thu Hang Bui, Trinh Chu Duc:
  Microfluidic injector simulation with SAW sensor for 3D integration. SAS 2014: 213-218
• 
  Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh:
  Automating Proofs of Data-Structure Properties in Imperative Programs. CoRR abs/1407.6124 (2014)