Lv1
60 积分 2025-04-17 加入
A latent factor model for high-dimensional binary data
22天前
已关闭
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
22天前
已关闭
Hamiltonian formulation of distributed-parameter systems with boundary energy flow
22天前
已完结
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
22天前
已关闭
Validation, Verification, and Formal Methods for Cyber-Physical Systems
22天前
已完结
Interconnection of irreversible port Hamiltonian systems
22天前
已完结
Hamiltonian formulation of distributed-parameter systems with boundary energy flow
22天前
已完结
Generalizable dynamics modeling of serial robotic manipulators via a Lagrangian dynamics neural network with mechanism priors
22天前
已完结
Dynamic space–time panel data models: An eigendecomposition-based bias-corrected least squares procedure
1个月前
已完结
Spatial weights matrix selection and model averaging for spatial autoregressive models
1个月前
已完结
皖公网安备34019202002308
