Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Xie, Lihan"'
Artificial intelligence assisted mathematical proof has become a highly focused area nowadays. One key problem in this field is to generate formal mathematical proofs from natural language proofs. Due to historical reasons, the formal proof languages
Externí odkaz:
http://arxiv.org/abs/2405.07973
Suivi numérique des bifurcations pour l'analyse paramétrique de la dynamique non-linéaire des rotors
Autor:
Xie, Lihan
Au cœur des moyens de transport, de transformation d'énergie, et de biens d'équipements, les machines tournantes peuvent avoir des comportements dynamiques complexes dus à de multiples sources de non linéarités liées aux paliers hydrodynamique
Externí odkaz:
http://www.theses.fr/2016LYSEI018/document
Autor:
Xie, Lihan, Jakob, Ursula
Publikováno v:
In Journal of Biological Chemistry February 2019 294(6):2180-2190
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cremers, Claudia M., Knoefler, Daniela, Gates, Stephanie, Martin, Nicholas, Dahl, Jan-Ulrik, Lempart, Justine, Xie, Lihan, Chapman, Matthew R., Galvan, Veronica, Southworth, Daniel R., Jakob, Ursula
Publikováno v:
In Molecular Cell 1 September 2016 63(5):768-780
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yuan, Tianyi, Liu, Lin, Zhang, Yongdeng, Wei, Lisi, Zhao, Shiqun, Zheng, Xiaolu, Huang, Xiaoshuai, Boulanger, Jerome, Gueudry, Charles, Lu, Jingze, Xie, Lihan, Du, Wen, Zong, Weijian, Yang, Lu, Salamero, Jean, Liu, Yanmei, Chen, Liangyi
Publikováno v:
In Developmental Cell 12 October 2015 35(1):120-130
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.