Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Alexey Solovyev"'
Autor:
Fabrice Caillol, Sébastien Godat, Alexey Solovyev, Amina Harouchi, Sarra Oumrani, Mariola Marx, Solene Hoibian, Yanis Dahel, Jean-Philippe Ratone, Marc Giovannini
Publikováno v:
Endoscopy International Open, Vol 12, Iss 03, Pp E377-E384 (2024)
Externí odkaz:
https://doaj.org/article/4b110be8a54648ef9b56c4ca6cda5495
Autor:
THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Publikováno v:
Forum of Mathematics, Pi, Vol 5 (2017)
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://doaj.org/article/0dae9a3d3e584c73a937daefc20afe3b
Autor:
Cordelia Ziraldo, Alexey Solovyev, Ana Allegretti, Shilpa Krishnan, M Kristi Henzel, Gwendolyn A Sowa, David Brienza, Gary An, Qi Mi, Yoram Vodovotz
Publikováno v:
PLoS Computational Biology, Vol 11, Iss 6, p e1004309 (2015)
People with spinal cord injury (SCI) are predisposed to pressure ulcers (PU). PU remain a significant burden in cost of care and quality of life despite improved mechanistic understanding and advanced interventions. An agent-based model (ABM) of isch
Externí odkaz:
https://doaj.org/article/66c3864b9b14470a9db7f411bc12a800
Publikováno v:
PLoS Computational Biology, Vol 9, Iss 5, p e1003070 (2013)
Pressure ulcers are costly and life-threatening complications for people with spinal cord injury (SCI). People with SCI also exhibit differential blood flow properties in non-ulcerated skin. We hypothesized that a computer simulation of the pressure
Externí odkaz:
https://doaj.org/article/1aa94a20992047238e7cd981bba8ce95
Autor:
Qi Mi, Gregory Constantine, Cordelia Ziraldo, Alexey Solovyev, Andres Torres, Rajaie Namas, Timothy Bentley, Timothy R Billiar, Ruben Zamora, Juan Carlos Puyana, Yoram Vodovotz
Publikováno v:
PLoS ONE, Vol 6, Iss 5, p e19424 (2011)
Complex biological processes such as acute inflammation induced by trauma/hemorrhagic shock/ (T/HS) are dynamic and multi-dimensional. We utilized multiplexing cytokine analysis coupled with data-driven modeling to gain a systems perspective into T/H
Externí odkaz:
https://doaj.org/article/589db7372adf4d26be115a4570ae6a31
Autor:
Alexey Solovyev
Publikováno v:
INTELLIGENTSIA AND THE WORLD. :26-37
In the second half of the nineteenth and early twentieth centuries, a lot was done in the field of educating the population of the Russian Empire and introducing it to reading. The reforms of Alexander II gave an additional impetus to the development
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18431e47607422b8defc5542f5be77ab
https://doi.org/10.46725/iw.2020.4.2
https://doi.org/10.46725/iw.2020.4.2
Autor:
Ian Briggs, Ganesh Gopalakrishnan, Zvonimir Rakamarić, Charles Jacobsen, Alexey Solovyev, Marek S. Baranowski
Publikováno v:
ACM Transactions on Programming Languages and Systems. 41:1-39
Rigorous estimation of maximum floating-point round-off errors is an important capability central to many formal verification tools. Unfortunately, available techniques for this task often provide very pessimistic overestimates, causing unnecessary v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3207d97b61b441b3c353e026776dae37
https://doi.org/10.1145/3230733
https://doi.org/10.1145/3230733
Autor:
Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, Steven Obua, Jason Rute, An Hoai Thi Ta, Mark Adams, Alexey Solovyev, Thang Tat Nguyen, Trung Nam Tran, Cezary Kaliszyk, Dat Tat Dang, John Harrison, Victor Magron, Gertrud Bauer, Diep Thi Trieu, Josef Urban, Thomas C. Hales
Publikováno v:
Forum of Mathematics. Pi, 5, 1-29
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a280db53ee95a279e1aa5fc6830335ea
https://hdl.handle.net/2066/176365
https://hdl.handle.net/2066/176365
Autor:
Evgeny Popov, J.D.M. Belgrave, Robert Gordon Moore, Aysylu Askarova, Yaroslav Simakov, Alexey Solovyev, Igor S. Afanasiev, Lyudmila Khakimova, Alexey Cheremisin
Publikováno v:
Journal of Petroleum Science and Engineering. 188:106796
High-Pressure Air Injection (HPAI) as an enhanced oil recovery (EOR) method has a high potential and has already been effectively applied for carbonate reservoirs development. The target object of the current research is a Kirsanovskoe oil field conf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::634a70350433db74c2498428aaea82bd
https://doi.org/10.1016/j.petrol.2019.106796
https://doi.org/10.1016/j.petrol.2019.106796
Autor:
Wei-Fan Chiang, Alexey Solovyev, Ian Briggs, Marek S. Baranowski, Ganesh Gopalakrishnan, Zvonimir Rakamarić
Publikováno v:
Kalpa Publications in Computing.
Virtually all real-valued computations are carried out using floating-point data types and operations. With increasing emphasis on overall computational efficiency, compilers are increasingly attempting to optimize floating-point expressions. Practic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31863a963d46a3de496ec61e1ccd0066
https://doi.org/10.29007/f4f3
https://doi.org/10.29007/f4f3