Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H. |
|
1995
|
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S. |
|
1996
|
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H. |
|
1996
|
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H. |
|
1998
|
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J. |
|
2001
|
Parameterized approximation of fuzzy number with minimum variance weighting functions. Zbl 05241244
Liu, Xinwang; Lin, Hsinyi |
|
2007
|
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K. |
|
2002
|
Memory-driven movement model for periodic migrations. Zbl 1457.92199
Lin, Hsin-Yi; Fagan, William F.; Jabin, Pierre-Emmanuel |
|
2021
|
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H. |
|
1996
|
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H. |
|
2001
|
Coordination mechanism of reverse supply chain based on option contract. Zbl 1240.90011
Lin, Hsinyi; Shuai, Changzhong; Da, Qingli |
|
2010
|
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G. |
|
1995
|
An encompassing test for non-nested quantile regression models. Zbl 1188.62155
Kuan, Chung-Ming; Lin, Hsin-Yi |
|
2010
|
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H. |
|
2010
|
Commutator method for averaging lemmas. Zbl 1501.35109
Jabin, Pierre-Emmanuel; Lin, Hsin-Yi; Tadmor, Eitan |
|
2022
|
Commutator method for averaging lemmas. Zbl 1501.35109
Jabin, Pierre-Emmanuel; Lin, Hsin-Yi; Tadmor, Eitan |
|
2022
|
Memory-driven movement model for periodic migrations. Zbl 1457.92199
Lin, Hsin-Yi; Fagan, William F.; Jabin, Pierre-Emmanuel |
|
2021
|
Coordination mechanism of reverse supply chain based on option contract. Zbl 1240.90011
Lin, Hsinyi; Shuai, Changzhong; Da, Qingli |
|
2010
|
An encompassing test for non-nested quantile regression models. Zbl 1188.62155
Kuan, Chung-Ming; Lin, Hsin-Yi |
|
2010
|
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H. |
|
2010
|
Parameterized approximation of fuzzy number with minimum variance weighting functions. Zbl 05241244
Liu, Xinwang; Lin, Hsinyi |
|
2007
|
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K. |
|
2002
|
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J. |
|
2001
|
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H. |
|
2001
|
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H. |
|
1998
|
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S. |
|
1996
|
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H. |
|
1996
|
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H. |
|
1996
|
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H. |
|
1995
|
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G. |
|
1995
|