Results 141 to 145 of about 27,559 (145)

Soft Fusion with Second-Order Uncertainty Based on Vague Set

International Conference on Information Technology and Intelligent Transportation Systems, 2015
Jianhong Wang, Tao Li
semanticscholar   +1 more source

Large model constructions for second-order ZF in dependent type theory

Certified Programs and Proofs, 2018
Dominik Kirst, G. Smolka
semanticscholar   +1 more source

Discussion on the Optimal Feedback Control Results for Second-Order Non-Autonomous Damped Impulsive System with Generalized Clarke’s Subdifferential Type

Complex Analysis and Operator Theory
R. S. Shanmugapriya, V. Vijayakumar
semanticscholar   +1 more source

Identification of Time-Delayed Second-Order Unstable systems with Two RHP Poles and no zeros

2025 6th International Conference on Control, Communication and Computing (ICCC)
Suhailam P, Raju Yerolla, C. Besta
semanticscholar   +1 more source

A finite time convergent guidance law considering thrust constraint and second-order dynamics

Cybersecurity and Cyberforensics Conference, 2017
Meijun Duan, Di Zhou
semanticscholar   +1 more source