Search research articles
Contact Us
Filters
Showing results (1-10 of 56) with videos related to
Page
of 6
Sort By:
Journal of Automated Reasoning
|
February 18, 2020
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Wenda Li, Lawrence C Paulson
Proceedings. Mathematical, Physical, and Engineering Sciences
|
March 7, 2018
Computational logic: its origins and applications
Lawrence C Paulson
Journal of Automated Reasoning
|
September 4, 2018
The Higher-Order Prover Leo-II
Christoph Benzmüller, Nik Sultana, Lawrence C Paulson, et al.
Sensors (Basel, Switzerland)
|
November 9, 2024
A Novel Non-Contact Multi-User Online Indoor Positioning Strategy Based on Channel State Information
Yixin Zhuang, Yue Tian, Wenda Li
IEEE Journal of Translational Engineering in Health and Medicine
|
February 20, 2018
Passive Radar for Opportunistic Monitoring in E-Health Applications
Wenda Li, Bo Tan, Robert Piechocki
Cancer Management and Research
|
September 10, 2019
The role of circular RNA hsa_circ_0085616 in proliferation and migration of hepatocellular carcinoma cells
Wenda Li, Xue Zhou, Xiang Wu, et al.
Sensors (Basel, Switzerland)
|
February 27, 2026
A Robust mmWave Radar Framework for Accurate People Counting and Motion Classification
Nuobei Zhang, Haoxuan Li, Adnan Zahid, et al.
Oncology Letters
|
March 31, 2017
Expression of CHODL in hepatocellular carcinoma affects invasion and migration of liver cancer cells
Zejian Huang, Ning Zhang, Wenda Li, et al.
Digital Health
|
November 6, 2025
Validation of wearable vital signs monitoring: A comparison with conventional bedside patient monitors
Weiyi Jiang, Wenzhao Zhang, Haoxuan Li, et al.
Journal of Agricultural and Food Chemistry
|
August 24, 2022
Synthetic Nanoscale RNAi Constructs as Pesticides for the Control of <i>Locust Migratoria</i>
Qiong Lu, Hongyan Cui, Wenda Li, et al.
Page
of 6
Search research articles
Search
Showing results (1-10 of 56) with videos related to
Sort By:
Page
of 6
Journal of Automated Reasoning
|
February 18, 2020
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Wenda Li, Lawrence C Paulson
Proceedings. Mathematical, Physical, and Engineering Sciences
|
March 7, 2018
Computational logic: its origins and applications
Lawrence C Paulson
Journal of Automated Reasoning
|
September 4, 2018
The Higher-Order Prover Leo-II
Christoph Benzmüller, Nik Sultana, Lawrence C Paulson, et al.
Sensors (Basel, Switzerland)
|
November 9, 2024
A Novel Non-Contact Multi-User Online Indoor Positioning Strategy Based on Channel State Information
Yixin Zhuang, Yue Tian, Wenda Li
IEEE Journal of Translational Engineering in Health and Medicine
|
February 20, 2018
Passive Radar for Opportunistic Monitoring in E-Health Applications
Wenda Li, Bo Tan, Robert Piechocki
Cancer Management and Research
|
September 10, 2019
The role of circular RNA hsa_circ_0085616 in proliferation and migration of hepatocellular carcinoma cells
Wenda Li, Xue Zhou, Xiang Wu, et al.
Sensors (Basel, Switzerland)
|
February 27, 2026
A Robust mmWave Radar Framework for Accurate People Counting and Motion Classification
Nuobei Zhang, Haoxuan Li, Adnan Zahid, et al.
Oncology Letters
|
March 31, 2017
Expression of CHODL in hepatocellular carcinoma affects invasion and migration of liver cancer cells
Zejian Huang, Ning Zhang, Wenda Li, et al.
Digital Health
|
November 6, 2025
Validation of wearable vital signs monitoring: A comparison with conventional bedside patient monitors
Weiyi Jiang, Wenzhao Zhang, Haoxuan Li, et al.
Journal of Agricultural and Food Chemistry
|
August 24, 2022
Synthetic Nanoscale RNAi Constructs as Pesticides for the Control of <i>Locust Migratoria</i>
Qiong Lu, Hongyan Cui, Wenda Li, et al.
Page
of 6