From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury.

C. Ziraldo, A. Solovyev, A. Allegretti, S. Krishnan, M. Henzel, G. Sowa, D. Brienza, G. An, Q. Mi, и Y. Vodovotz. PLoS Comput. Biol., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sergey Solovyev

Alexey Dashevsky

Alexey Shaytan

Alexey Mikaberidze

Alexey Novikov

Другие публикации лиц с тем же именем

Efficient Formal Verification of Bounds of Linear Programs.A. Solovyev, и T. Hales. Calculemus/MKM, том 6824 из Lecture Notes in Computer Science, стр. 123-132. Springer, (2011)A Parameterized Floating-Point Formalizaton in HOL Light.C. Jacobsen, A. Solovyev, и G. Gopalakrishnan. NSV, том 317 из Electronic Notes in Theoretical Computer Science, стр. 101-107. Elsevier, (2015)A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury.C. Ziraldo, A. Solovyev, A. Allegretti, S. Krishnan, M. Henzel, G. Sowa, D. Brienza, G. An, Q. Mi, и Y. Vodovotz. PLoS Comput. Biol., (2015)Rigorous floating-point mixed-precision tuning.W. Chiang, M. Baranowski, I. Briggs, A. Solovyev, G. Gopalakrishnan, и Z. Rakamaric. POPL, стр. 300-315. ACM, (2017)Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury.A. Solovyev, Q. Mi, Y. Tzen, D. Brienza, и Y. Vodovotz. PLoS Comput. Biol., (2013)Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.A. Solovyev, M. Baranowski, I. Briggs, C. Jacobsen, Z. Rakamaric, и G. Gopalakrishnan. ACM Trans. Program. Lang. Syst., 41 (1): 2:1-2:39 (2019)Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.A. Solovyev, и T. Hales. NASA Formal Methods, том 7871 из Lecture Notes in Computer Science, стр. 383-397. Springer, (2013)Rigorous Error Analysis for Logarithmic Number Systems.T. Nguyen, A. Solovyev, и G. Gopalakrishnan. CoRR, (2024)Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.A. Solovyev, C. Jacobsen, Z. Rakamaric, и G. Gopalakrishnan. FM, том 9109 из Lecture Notes in Computer Science, стр. 532-550. Springer, (2015)SPARK: a framework for multi-scale agent-based biomedical modeling.A. Solovyev, M. Mikheev, L. Zhou, J. Dutta-Moscato, C. Ziraldo, G. An, Y. Vodovotz, и Q. Mi. SpringSim, стр. 3. SCS/ACM, (2010)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Sergey Solovyev

Alexey Dashevsky

Alexey Shaytan

Alexey Mikaberidze

Alexey Novikov

Другие публикации лиц с тем же именем

Disambiguation