Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Robust Multimodal Cognitive Load Measurement

Applied integer programming : modeling and solution

Parallel Sparse Direct Solver for Integrated Circuit Simulation

Neuromorphic Cognitive Systems A Learning and Memory Centered Approach

Genetic and Evolutionary Computing Proceeding of the Eighth International Conference on Genetic and Evolutionary Computing, October 18-20, 2014, Nanchang, China

Biometric Recognition 12th Chinese Conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, Proceedings

Wireless Sensor Networks 12th China Conference, CWSN 2018, Kunming, China, September 21–23, 2018, Revised Selected Papers

Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs Beyond Red, Green and Blue

Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings

Information Retrieval Technology 14th Asia Information Retrieval Societies Conference, AIRS 2018, Taipei, Taiwan, November 28-30, 2018, Proceedings