TCT bietet eine neue Möglichkeit, Ethereum-Smart Contracts abzusichern.
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 6 min Lesedauer
Yang Chen
Eine Methode, um komplexe Grafiken für Analyse und Verständnis zu klären.
Hong Zhou, Peifeng Lai, Zhida Sun
― 5 min Lesedauer
Studie zeigt, wie kosmische Strahlen die Chemie von Molekülwolken um Überreste von Supernovae beeinflussen.
Tian-Yu Tu, Prathap Rayalacheruvu, Liton Majumdar
― 7 min Lesedauer
Studie zeigt, wie Supernova-Reste die umliegenden Gaswolken beeinflussen.
Tian-Yu Tu, Yang Chen, Qian-Cheng Liu
― 5 min Lesedauer
Entdeck, wie Supernova-Reste die Chemie neuer Sterne beeinflussen.
Tian-Yu Tu, Valentine Wakelam, Yang Chen
― 6 min Lesedauer
Eine frische Methode verbessert tiefe neuronale Netze im Umgang mit unbekannten Daten.
Yang Chen, Chih-Li Sung, Arpan Kusari
― 6 min Lesedauer