Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
The Chinese roots of linear algebraRoger Hart (Roger Preston)Baltimore, MD Johns Hopkins University Press 2011Localização: IME - Inst. Matemática e Estatística (QA26.C6 H326c )(Acessar) |
|
2 |
Material Type: Artigo
|
Formal Verification of Yahalom Protocol Based on Process AlgebraWang, Ran-Ran ; Wang, Yong ; Cai, Yu-Tong ; Jiang, Zheng-Tao ; Dai, Gui-PingJi suan ji ke xue, 2021-01, Vol.48, p.481Chongqing: Guojia Kexue Jishu BuTexto completo disponível |
|
3 |
Material Type: Artigo
|
Formal Verification of Otway-Rees Protocol Based on Process AlgebraCai, Yu-Tong ; Wang, Yong ; Wang, Ran-Ran ; Jiang, Zheng-Tao ; Dai, Gui-PingJi suan ji ke xue, 2021-01, Vol.48, p.477Chongqing: Guojia Kexue Jishu BuTexto completo disponível |
|
4 |
Material Type: Artigo
|
Security Analysis of A Key Exchange Protocol Based on Tropical Semi-ringHuang, Hua-wei ; Li, Chun-huaJi suan ji ke xue, 2022-01, Vol.49, p.571Chongqing: Guojia Kexue Jishu BuTexto completo disponível |
|
5 |
Material Type: Artigo
|
Attention Based Concept Enhanced Cognitive DiagnosisYuan, Dongxue ; Sun, Quansen ; Fu, PengJi suan ji ke xue, 2023-01, Vol.50 (11), p.241Chongqing: Guojia Kexue Jishu BuTexto completo disponível |
|
6 |
Material Type: Artigo
|
三角网求交的共形几何代数算法宗真 ; 袁林旺 ; 罗文 ; 俞肇元 ; 胡勇Ce hui xue bao, 2014-02, Vol.43 (2), p.200Beijing: Surveying and Mapping PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
The tensor algebras of Yetter-Drinfeld moduleYanhua Wang上海师范大学学报:自然科学版, 2014, Vol.43 (5), p.523-528 [Periódico revisado por pares]Texto completo disponível |
|
8 |
Material Type: Artigo
|
Robust Adaptive Algorithm Based on SE(3) and Its Application in SINS/DVLQIAN Leiyuan, QIN Fangjun, LI Kailong, ZHU TiangaoShànghăi jiāotōng dàxué xuébào, 2024-04, Vol.58 (4), p.498-510Editorial Office of Journal of Shanghai Jiao Tong UniversityTexto completo disponível |
|
9 |
Material Type: Artigo
|
Method of Concept Reduction Based on Concept Discernibility MatrixWang, Xia ; Peng, Zhi-Hua ; Li, Jun-Yu ; Wu, Wei-ZhiJi suan ji ke xue, 2021-01, Vol.48 (1), p.125Chongqing: Guojia Kexue Jishu BuTexto completo disponível |
|
10 |
Material Type: Artigo
|
Spatial Operator Algebra for Free-floating Space Robot Modeling and SimulationTIAN, ZhixiangChinese journal of mechanical engineering, 2010-10, Vol.23 (5), p.635-640 [Periódico revisado por pares]Department of Mechanical and Electrical Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaTexto completo disponível |