( en | de | ru )

 

Disambiguierung von "Fu, Yu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temperature dependence and thermodynamic properties of Ca$^2+$ sparks in rat cardiomyocytes.

, , , , , und . Biophys. J., 89 (4): 2533--2541 (Oktober 2005)
DOI: 10.1529/biophysj.105.067074

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yu Fu

Zhendong Fu

Lei Fu

Qiang Fu

Yunjiao Fu

 

Weitere Publikationen von Autoren mit dem selben Namen

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 149-171. Springer, (2021)Certified Verification for Algebraic Abstraction., , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 329-349. Springer, (2023)Signed Cryptographic Program Verification with Typed CryptoLine., , , , , und . CCS, Seite 1591-1606. ACM, (2019)autofz: Automated Fuzzer Composition at Runtime., , und . USENIX Security Symposium, Seite 1901-1918. USENIX Association, (2023)Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE., , , , , und . IACR Cryptol. ePrint Arch., (2022)CoqCryptoLine: A Verified Model Checker with Certified Results., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 227-240. Springer, (2023)A Novel Stereo Matching Algorithm for Digital Surface Model (DSM) Generation in Water Areas., , , und . Remote Sensing, 12 (5): 870 (2020)Fusion of 3D lung CT and serum biomarkers for diagnosis of multiple pathological types on pulmonary nodules., , , , , , , , und . Comput. Methods Programs Biomed., (2021)High-availability in-memory key-value store using RDMA and Optane DCPMM., , , , , , , und . Frontiers Comput. Sci., 17 (1): 171603 (2023)Cross-Domain Developer Recommendation Algorithm Based on Feature Matching., , , , , und . ChineseCSCW, Volume 1042 von Communications in Computer and Information Science, Seite 443-457. Springer, (2019)