-
1دورية أكاديمية
المؤلفون: Fabrice Caillol, Sébastien Godat, Alexey Solovyev, Amina Harouchi, Sarra Oumrani, Mariola Marx, Solene Hoibian, Yanis Dahel, Jean-Philippe Ratone, Marc Giovannini
المصدر: Endoscopy International Open, Vol 12, Iss 03, Pp E377-E384 (2024)
مصطلحات موضوعية: Pancreatobiliary (ERCP/PTCD), Strictures, Biliary tract, Endoscopic ultrasonography, Intervention EUS, Diseases of the digestive system. Gastroenterology, RC799-869
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: 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
المصدر: Forum of Mathematics, Pi, Vol 5 (2017)
مصطلحات موضوعية: 52C17, Mathematics, QA1-939
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Cordelia Ziraldo, Alexey Solovyev, Ana Allegretti, Shilpa Krishnan, M Kristi Henzel, Gwendolyn A Sowa, David Brienza, Gary An, Qi Mi, Yoram Vodovotz
المصدر: PLoS Computational Biology, Vol 11, Iss 6, p e1004309 (2015)
مصطلحات موضوعية: Biology (General), QH301-705.5
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Alexey Solovyev, Qi Mi, Yi-Ting Tzen, David Brienza, Yoram Vodovotz
المصدر: PLoS Computational Biology, Vol 9, Iss 5, p e1003070 (2013)
مصطلحات موضوعية: Biology (General), QH301-705.5
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Qi Mi, Gregory Constantine, Cordelia Ziraldo, Alexey Solovyev, Andres Torres, Rajaie Namas, Timothy Bentley, Timothy R Billiar, Ruben Zamora, Juan Carlos Puyana, Yoram Vodovotz
المصدر: PLoS ONE, Vol 6, Iss 5, p e19424 (2011)
وصف الملف: electronic resource
-
6
المؤلفون: Alexey Solovyev
المصدر: INTELLIGENTSIA AND THE WORLD. :26-37
مصطلحات موضوعية: Publishing, business.industry, Political science, business, Peasant, Classics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::18431e47607422b8defc5542f5be77ab
https://doi.org/10.46725/iw.2020.4.2 -
7
المؤلفون: Ian Briggs, Ganesh Gopalakrishnan, Zvonimir Rakamarić, Charles Jacobsen, Alexey Solovyev, Marek S. Baranowski
المصدر: ACM Transactions on Programming Languages and Systems. 41:1-39
مصطلحات موضوعية: Floating point, Computer science, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, 01 natural sciences, Interval arithmetic, symbols.namesake, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Taylor series, symbols, Round-off error, Arithmetic, Formal verification, Global optimization, Software, Affine arithmetic
-
8
المؤلفون: 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
المصدر: Forum of Mathematics. Pi, 5, 1-29
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Piمصطلحات موضوعية: FOS: Computer and information sciences, Statistics and Probability, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 01 natural sciences, Formal proof, Kepler conjecture, symbols.namesake, Mathematics - Metric Geometry, FOS: Mathematics, Hol light, Discrete Mathematics and Combinatorics, 0101 mathematics, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), Mathematical Physics, Mathematics, Algebra and Number Theory, 010102 general mathematics, Data Science, Metric Geometry (math.MG), Logic in Computer Science (cs.LO), Algebra, 010201 computation theory & mathematics, symbols, Geometry and Topology, Analysis
وصف الملف: application/pdf
-
9
المؤلفون: Ganesh Gopalakrishnan, Charles Jacobsen, Alexey Solovyev
المصدر: Electronic Notes in Theoretical Computer Science. 317:101-107
مصطلحات موضوعية: Discrete mathematics, Floating point, Correctness, formalization, General Computer Science, Rounding, floating point, Parameterized complexity, IEEE-754-2008, Fixed point, Minifloat, IEEE floating point, Theoretical Computer Science, NaN, fixed point, Hardware_ARITHMETICANDLOGICSTRUCTURES, Mathematics, Computer Science(all)
-
10
المؤلفون: Evgeny Popov, J.D.M. Belgrave, Robert Gordon Moore, Aysylu Askarova, Yaroslav Simakov, Alexey Solovyev, Igor S. Afanasiev, Lyudmila Khakimova, Alexey Cheremisin
المصدر: Journal of Petroleum Science and Engineering. 188:106796
مصطلحات موضوعية: Materials science, Petroleum engineering, Airflow, 02 engineering and technology, Coke, 010502 geochemistry & geophysics, Geotechnical Engineering and Engineering Geology, Combustion, 01 natural sciences, Cracking, Fuel Technology, 020401 chemical engineering, Enhanced oil recovery, 0204 chemical engineering, Oil field, Secondary air injection, 0105 earth and related environmental sciences, Asphaltene