Zhengyu Wang

IEEE Trans. Autom. Control., 2022

Spatially Varying Relationships between Land Subsidence and Urbanization: A Case Study in Wuhan, China.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Point Cloud Quality Assessment using 3D Saliency Maps.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Analytical Electromagnetic Models for Reconfigurable Intelligent Surfaces.

[BibT_eX]

[DOI]

CoRR, 2022

ARB U-Net: An Improved Neural Network for Suprapatellar Bursa Effusion Ultrasound Image Segmentation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2022, 2022

Identifying Key Factors Influencing Mobile Music App User Experience in China Using a Fuzzy DEMATEL Method.

[BibT_eX]

[DOI]

Proceedings of the Design, User Experience, and Usability: UX Research, Design, and Assessment, 2022

2021

A Dual-Sensing CMOS Array for Combined Impedance-pH Detection of DNA with Integrated Electric Field Manipulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Design, Development, and Preliminary Experimental Analysis of a Novel Robotic Laparoscope with Continuum Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications - 14th International Conference, 2021

Teacher's acceptance of online education platform into foreign language teaching in Chinese higher education.

[BibT_eX]

[DOI]

Proceedings of the IC4E 2021: 12th International Conference on E-Education, E-Business, E-Management, and E-Learning, Tokyo Japan, 10, 2021

Research on Longquan Celadon Cultural and Creative Products Based on Kansei Engineering.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021

A Study of the Impact of Changes in Software Interface Design Elements on Visual Fatigue.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021

Research on Service Design of Balanced Vehicle Based on Kansei Engineering.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021

Optimal Design of Rescue Motor Boat Based on Ergonomics.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021

Research on the Influence of Team Members with Different Creativity Levels and Academic Background on the Collaborative Design Process.

[BibT_eX]

[DOI]

Zhengyu Shi

Proceedings of the Design, User Experience, and Usability: UX Research and Design, 2021

Design of Sustainable Food Management System Based on User's Whole Behavior Process.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021

2020

Research on Design of Shared Bicycle Service System Based on Kansei Engineering.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2020 - Posters - 22nd International Conference, 2020

Research on Network Awareness of Enterprise Evaluation System Indicators.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Research on Hospital Self-service Machine Interaction Design Based on Kansei Engineering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Industrial Design, 2020

2019

A Clamping Force Estimation Method Based on a Joint Torque Disturbance Observer Using PSO-BPNN for Cable-Driven Surgical Robot End-Effectors.

[BibT_eX]

[DOI]

Sensors, 2019

Adaptive gait detection based on foot-mounted inertial sensors and multi-sensor fusion.

[BibT_eX]

[DOI]

Inf. Fusion, 2019

Development and Control of an MR Brake-Based Passive Force Feedback Data Glove.

[BibT_eX]

[DOI]

IEEE Access, 2019

Framework and Application of Live Video Streaming as a Virtual Reality Gaming Technology: A Study of Function and Performance.

[BibT_eX]

[DOI]

Yousuf Al-Shorji

Cevin Zhang

Proceedings of the Simulation Gaming Through Times and Disciplines, 2019

The Impact of Different Levels of Creative Thinking Members in Group Collaboration Based on Semantic Link.

[BibT_eX]

[DOI]

Xiang-yu Liu

Proceedings of the Human Interaction and Emerging Technologies, 2019

Study on usability evaluation of medical software interface based on eye movement tracking technology.

[BibT_eX]

[DOI]

Yaojie Zheng

Proceedings of the Twelfth International Conference on Machine Vision, 2019

Design of Intelligent Speed Planning and Early Warning System for High Speed Curved Road.

[BibT_eX]

[DOI]

Ming Li

Haoyu Wang

Proceedings of the ICIIP 2019: 4th International Conference on Intelligent Information Processing, 2019

Application of Fuzzy Analytic Hierarchy Process to Discuss the User's Favor of Electric Bicycle Modeling.

[BibT_eX]

[DOI]

Tianxiong Wang

Proceedings of the HCI International 2019 - Posters - 21st International Conference, 2019

Study on the Morphological Sensitivity of Children's Companion Robot.

[BibT_eX]

[DOI]

Proceedings of the Design, User Experience, and Usability. User Experience in Advanced Technological Environments, 2019

(Nearly) Sample-Optimal Sparse Fourier Transform in Any Dimension; RIPless and Filterless.

[BibT_eX]

[DOI]

Vasileios Nakos

Zhao Song

Proceedings of the 60th IEEE Annual Symposium on Foundations of Computer Science, 2019

A Multi-Featured Analysis for Body Sensor Networks-based Affective Actions Recognition.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

2018

Feature Selection With ℓ2, 1-2 Regularization.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2018

Characterizing Propositional Proofs as Noncommutative Formulas.

[BibT_eX]

[DOI]

Fu Li

Iddo Tzameret

SIAM J. Comput., 2018

A Variational Inequality Approach to Optimal Control Problems with Joint Constraints.

[BibT_eX]

[DOI]

Stefan Pickl

Proceedings of the Operations Research Proceedings 2018, 2018

Parallel Graph Connectivity in Log Diameter Rounds.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Annual Symposium on Foundations of Computer Science, 2018

2017

A new forecasting kinematic algorithm of automatic navigation for a laparoscopic minimally invasive surgical robotic system.

[BibT_eX]

[DOI]

Robotica, 2017

Time-Division-Multiplexing-Wavelength-Division-Multiplexing-Based Architecture for ONoC.

[BibT_eX]

[DOI]

JOCN, 2017

Optimal lower bounds for universal relation, samplers, and finding duplicates.

[BibT_eX]

[DOI]

Jelani Nelson

Jakub Pachocki

CoRR, 2017

BPTree: An ℓ2 Heavy Hitters Algorithm Using Constant Memory.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

A Galerkin Method for the Dynamic Nash Equilibrium Problem with Shared Constraint.

[BibT_eX]

[DOI]

Stefan Pickl

Proceedings of the Operations Research Proceedings 2017, 2017

Optimal Lower Bounds for Universal Relation, and for Samplers and Finding Duplicates in Streams.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science, 2017

2015

Characterizing Propositional Proofs as Non-Commutative Formulas.

[BibT_eX]

[DOI]

Fu Li

Iddo Tzameret

Electron. Colloquium Comput. Complex., 2015

An Improved Randomized Data Structure for Dynamic Graph Connectivity.

[BibT_eX]

[DOI]

CoRR, 2015

Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs.

[BibT_eX]

[DOI]

Fu Li

Iddo Tzameret

Proceedings of the 30th Conference on Computational Complexity, 2015

2014

A new kinematics method based on a dynamic visual window for a surgical robot.

[BibT_eX]

[DOI]

Robotica, 2014

Differential variational inequality approach to dynamic games with shared constraints.

[BibT_eX]

[DOI]

Xiaojun Chen

Math. Program., 2014

A new asymmetrical mass distribution method on the analysis of universal "force-sensing" model for 3-DOF translational parallel manipulator.

[BibT_eX]

[DOI]

Ind. Robot, 2014

Improved testing of low rank matrices.

[BibT_eX]

[DOI]

Yi Li

David P. Woodruff

Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Mutual Exclusion Algorithms in the Shared Queue Model.

[BibT_eX]

[DOI]

Junxing Wang

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

Configurable incremental sigma-delta ADC for DC measure and audio conversion.

[BibT_eX]

[DOI]

Tay Hui Zheng

Dongtian Lu

Sasi Kumar Arunachalam

Xicheng Jiang

Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, 2014

2013

Convergence of Regularized Time-Stepping Methods for Differential Variational Inequalities.

[BibT_eX]

[DOI]

Xiaojun Chen

SIAM J. Optim., 2013

2012

Thermal and competition aware mapping for 3D network-on-chip.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2012

Sublinear Algorithms for Penalized Logistic Regression in Massive Datasets.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

2011

A new iterative refinement with roundoff error analysis.

[BibT_eX]

[DOI]

Xinyuan Wu

Numer. Linear Algebra Appl., 2011

Bounding the error for approximate solutions of almost linear complementarity problems using feasible vectors.

[BibT_eX]

[DOI]

Numer. Linear Algebra Appl., 2011

Error Bounds for Nonlinear Complementarity Problems with Band Structure.

[BibT_eX]

[DOI]

J. Optim. Theory Appl., 2011

2009

Task scheduling accuracy analysis in optical grid environments.

[BibT_eX]

[DOI]

Photonic Netw. Commun., 2009

A semi-local convergence theorem for a robust revised Newton's method.

[BibT_eX]

[DOI]

Xinyuan Wu

Comput. Math. Appl., 2009

2008

A 600-MSPS 8-bit CMOS ADC Using Distributed Track-and-Hold With Complementary Resistor/Capacitor Averaging.

[BibT_eX]

[DOI]

Mau-Chung Frank Chang

IEEE Trans. Circuits Syst. I Regul. Pap., 2008

Error bounds for complementarity problems with tridiagonal nonlinear functions.

[BibT_eX]

[DOI]

Computing, 2008

2007

Validation and enclosure of solutions of linear complementarity problems.

[BibT_eX]

[DOI]

Computing, 2007

2006

Uniquimer: A de Novo DNA Sequence Generation Computer Software for DNA Self-assembly.

[BibT_eX]

[DOI]

Bryan Wei

Yongli Mi

Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005

Verification of Solutions for Almost Linear Complementarity Problems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005

2004

Enclosing Solutions of Linear Complementarity Problems for H-Matrices.

[BibT_eX]

[DOI]

Shen Zuhe

Reliab. Comput., 2004

A simple DDS architecture with highly efficient sine function lookup table.

[BibT_eX]

[DOI]