المؤلفون: Patrick T. Mc Gann, Francois Lebreton, Brendan T. Jones, Henry D. Dao, Melissa J. Martin, Messiah J. Nelson, Ting Luo, Andrew C. Wyatt, Jason R. Smedberg, Joanna M. Kettlewell, Brain M. Cohee, Joshua S. Hawley-Molloy, Jason W. Bennett

المصدر: Emerging Infectious Diseases, Vol 29, Iss 8, Pp 1692-1695 (2023)

مصطلحات موضوعية: antimicrobial resistance, extensively drug-resistant bacteria, Ukraine, Acinetobacter baumannii, Klebsiella pneumoniae, Enterococcus faecium, Medicine, Infectious and parasitic diseases, RC109-216

الوصف: Blood and surveillance cultures from an injured service member from Ukraine grew Acinetobacter baumannii, Klebsiella pneumoniae, Enterococcus faecium, and 3 distinct Pseudomonas aeruginosa strains. Isolates were nonsusceptible to most antibiotics and carried an array of antibiotic resistant genes, including carbapenemases (blaIMP-1, blaNDM-1, blaOXA-23, blaOXA-48, blaOXA-72) and 16S methyltransferases (armA and rmtB4).

وصف الملف: electronic resource

العلاقة: https://wwwnc.cdc.gov/eid/article/29/8/23-0567_articleTest; https://doaj.org/toc/1080-6040Test; https://doaj.org/toc/1080-6059Test

الوصول الحر: https://doaj.org/article/7eb272b7ae91490fbc76c1d61c3778d9Test

المؤلفون: Whalen, Mena CR, Matthews, Gregory J, Mills, Brain M

مصطلحات موضوعية: Statistics - Applications

الوصف: We use multivariate change point analysis methods, to identify not only mean shifts but also changes in variance across a wide array of statistical time series. Our primary objective is to empirically discern distinct eras in the evolution of baseball, shedding light on significant transformations in team performance and management strategies. We leverage a rich dataset comprising baseball statistics from the late 1800s to 2020, spanning over a century of the sport's history. Results confirm previous historical research, pinpointing well-known baseball eras, such as the Dead Ball Era, Integration Era, Steroid Era, and Post-Steroid Era. Moreover, the study delves into the detection of substantial changes in team performance, effectively identifying periods of both dynasties and collapses within a team's history. The multivariate change point analysis proves to be a valuable tool for understanding the intricate dynamics of baseball's evolution. The method offers a data-driven approach to unveil structural shifts in the sport's historical landscape, providing fresh insights into the impact of rule changes, player strategies, and external factors on baseball's evolution. This not only enhances our comprehension of baseball, showing more robust identification of eras than past univariate time series work, but also showcases the broader applicability of multivariate change point analysis in the domain of sports research and beyond.

الوصول الحر: http://arxiv.org/abs/2407.01797Test

المؤلفون: Brain M. JOHNSTONE, Tetsuo MORIZONO, 森園 哲夫

المصدر: 耳鼻と臨床 / jibi to rinsho. 1972, 18(6):388

المؤلفون: Howe, J. M., Nyx Brain, M.

مصطلحات موضوعية: QA75 Electronic computers. Computer science

الوصف: The abstract interpretation approach to program verification involves symbolically calculating fixpoints over lattices. Integral to these fixpoint calculations is an operation called widening, which discards information in order to move up the lattice so as to ensure termination, as well as potentially aiding efficiency. Abstract interpretation often uses lattices of numeric constraints where the number of variables allowed in a constraint is restricted, called weakly relational domains. This paper is concerned with the application of widening with weakly relational domains. One particular point of interest is the problematic interaction between widening and the maintenance of a closed form for weakly relational domains. The solution to this problem uses entailment, which essentially involves satisfiability checking for numeric constraints.

وصف الملف: text

العلاقة: https://openaccess.city.ac.uk/id/eprint/31151/1/wideningTVPI.pdfTest; Howe, J. M. https://openaccess.city.ac.uk/view/creators_id/j=2Em=2Ehowe.htmlTest orcid:0000-0001-8013-6941 orcid:0000-0001-8013-6941 Nyx Brain, M. (2023). Widening for Systems of Two Variables Per Inequality. Paper presented at the 8th SC-Square Workshop, 28 Jul 2023, Tromsø, Norway.

الإتاحة: https://openaccess.city.ac.uk/id/eprint/31151Test/
https://openaccess.city.ac.uk/id/eprint/31151/1/wideningTVPI.pdfTest
http://ceur-ws.org/Vol-3455Test/

المؤلفون: Gàmez Montolio, A., Florit, E., Brain, M., Howe, J.

مصطلحات موضوعية: QA Mathematics

الوصف: Polynomials over fixed-width binary numbers (bytes, ℤ/2ωℤ, bit-vectors, etc.) appear widely in computer science including obfuscation and reverse engineering, program analysis, automated theorem proving, verification, errorcorrecting codes and cryptography. As some fixed-width binary numbers do not have reciprocals, these polynomials behave differently to those normally studied in mathematics. In particular, polynomial equality is harder to determine; polynomials having different coefficients is not sufficient to show they always compute different values. Determining polynomial equality is a fundamental building block for most symbolic algorithms. For larger widths or multivariate polynomials, checking all inputs is computationally infeasible. This paper presents a study of the mathematical structure of null polynomials (those that evaluate to 0 for all inputs) and uses this to develop efficient algorithms to reduce polynomials to a normalized form. Polynomials in such normalized form are equal if and only if their coefficients are equal. This is a key building block for more mathematically sophisticated approaches to a wide range of fundamental problems.

وصف الملف: text

العلاقة: https://openaccess.city.ac.uk/id/eprint/32695/1/bar2024-7.pdfTest; Gàmez Montolio, A. https://openaccess.city.ac.uk/view/creators_id/arnau=2Egamez-montolio.htmlTest , Florit, E., Brain, M. https://openaccess.city.ac.uk/view/creators_id/martin=2Ebrain.htmlTest orcid:0000-0003-4216-7151 orcid:0000-0003-4216-7151 Howe, J. https://openaccess.city.ac.uk/view/creators_id/j=2Em=2Ehowe.htmlTest orcid:0000-0001-8013-6941 orcid:0000-0001-8013-6941 view all authorsEPJS_limit_names_shown_load( 'creators_name_32695_et_al', 'creators_name_32695_rest' ); (2024). Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials. Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA. doi:10.14722/bar.2024.23014 https://doi.org/10.14722/bar.2024.23014Test

الإتاحة: https://doi.org/10.14722/bar.2024.23014Test
https://openaccess.city.ac.uk/id/eprint/32695Test/
https://openaccess.city.ac.uk/id/eprint/32695/1/bar2024-7.pdfTest
https://www.ndss-symposium.org/ndss-paper/auto-draft-436Test/

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

الوصف: Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified SC-square community.

الوصول الحر: http://arxiv.org/abs/1607.08028Test

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

الوصف: Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.
Comment: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pdfTest

الوصول الحر: http://arxiv.org/abs/1607.06945Test

المؤلفون: Li Bassi G., Gibbons K., Suen J. Y., Dalton H. J., White N., Corley A., Shrapnel S., Hinton S., Forsyth S., Laffey J. G., Fan E., Fanning J. P., Panigada M., Bartlett R., Brodie D., Burrell A., Chiumello D., Elhazmi A., Esperatti M., Grasselli G., Hodgson C., Ichiba S., Luna C., Marwali E., Merson L., Murthy S., Nichol A., Ogino M., Pelosi P., Torres A., Ng P. Y., Fraser J. F., Al-Dabbous T., Alfoudri H., Shamsah M., Elapavaluru S., Berg A., Horn C., Mayasi Y., Schroll S., Meyer D., Velazco J., Ploskanych L., Fikes W., Bagewadi R., Dao M., White H., Ehlers A., Shalabi-McGuire M., Witt T., Grazioli L., Lorini L., Grandin E. W., Nunez J., Reyes T., OBriain D., Hunter S., Ramanan M., Affleck J., Veerendra H. H., Rai S., Russell-Brown J., Nourse M., Joseph M., Mitchell B., Tenzer M., Abe R., Cho H. J., Jeong I. S., Rahman N., Kakar V., Brozzi N., Mehkri O., Krishnan S., Duggal A., Houltham S., Graf J., Diaz R., Orrego R., Delgado C., Gonzalez J., Sanchez M. S., Piagnerelli M., Sarrazin J. V., Zabert A. /P. G., Espinosa L., Delgado P., Delgado V., Rincon D. F. B., Yanten A. M. M., Duque M. B., Al-Hudaib A., Callahan M., Taufik M. A., Wardoyo E. Y., Gunawan M., Trisnaningrum N. S., Irawany V., Rayhan M., Pesenti A., Zanella A., Leone M., Coppola S., Colombo S., Antonelli M., Carelli S., Grieco D. L., Asaki M., Hoshino K., Salazar L., Duarte L., Laffey J., McNicholas B., Cosgrave D., McCaffrey J., Bone A., Hakeem Y., Winearls J., Tallott M., Thomson D., Arnold-Day C., Cupido J., Fanie Z., Miller M., Seymore L., van Straaten D., Hssain A. A., Aliudin J., Alqahtani A. -R., Mohamed K., Mohamed A., Tan D., Villanueva J., Zaqout A., Kurtzman E., Ademi A., Dobrita A., El Aoudi K., Segura J., Giwangkancana G., Ohshimo S., Hitoshi S., Osatnik J., Joosten A., Yang M., Motos A., Arancibia F., Williams V., Noel A., Luque N., Trung T. H., Yacoub S., Fantini M., Garcia R. N. J., Alvarez E. C., Greti A., Ceccato A., Sanchez A., Vazquez A. L., Roche-Campo F., Franch-Llasat D., Tuazon D., Amato M., Cassimiro L., Pola F., Ribeiro F., Fonseca G., Dalton H., Desai M., Osborn E., Deeb H., Arcadipane A., Martucci G., Panarello G., Vitiello C., Bianco C., Occhipinti G., Rossetti M., Cuffaro R., Cho S. -M., Shimizu H., Moriyama N., Kim J. -B., Kitamura N., Gebauer J., Yokoyama T., Al-Fares A., Buabbas S., Alamad E., Alawadhi F., Alawadi K., Tanaka H., Hashimoto S., Yamazaki M., Oh T. -H., Epler M., Forney C., Kruse L., Feister J., Williamson J., Grobengieser K., Gnall E., Golden S., Caroline M., Shapiro T., Karaj C., Thome L., Sher L., Vanderland M., Welch M., McDermott S., Brain M., Mineall S., Kimura D., Brazzi L., Sales G., Ogston T., Nagpal D., Fischer K., Lorusso R., Rangappa R., Appu A., Carton E. G., Sen A., Palacios A., Rainey D., Samoukoviv G., Campisi J., Durham L., Neumann E., Seefeldt C., Falcucci O., Emmrich A., Guy J., Johns C., Potzner K., Zimmermann C., Espinal A., Buchtele N., Schwameis M., Stecher S. -S., Singh D., Barnikel M., Arenz L., Zaaqoq A., Galloway L. A., Merley C., Csete M., Quesada L., Saba I., Kasugai D., Hiraiwa H., Tanaka T., Purnama Y., Dewayanti S. R., Ardiyan, Juzar D. A., Siagian D., Chen Y. -S., Ratsep I., Oigus G., Erikson K., Post A. -M., Enneveer L., Sillaots P., Manetta F., Mihelis E., Sarmiento I. C., Narasimhan M., Varrone M., Komats M., Garcia-Diaz J., Harmon C., Satyapriya S. V., Bhatt A., Mokadam N. A., Uribe A., Gonzalez A., Shi H., McKeown J., Pasek J., Fiorda J., Echeverria M., Moreno R., Zakhary B., Cavana M., Cucino A., Foti G., Giani M., Russotto V., Castagna V., DellAmore A., Navalesi P., Shum H. -P., Vuysteke A., Usman A., Acker A., Smood B., Mergler B., Sertic F., Subramanian M., Sperry A., Rizer N., Burhan E., Rasmin M., Akmal E., Sitompul F., Lolong N., Naivedh B., Erickson S., Barrett P., Dean D., Daugherty J., Loforte A., Khan I., Abraar Quraishi M., DeSantis O., So D., Kandamby D., Mandei J. M., Natanael H., YudhaLantang E., Lantang A., Wijaya S. O., Jung A., Ng G., Ng W. Y., Fang S., Tabah A., Ratcliffe M., Duroux M., Adachi S., Nakao S., Blanco P., Prieto A., Sanchez J., Nicholson M., Butt W., Serratore A., Delzoppo C., Janin P., Yarad E., Totaro R., Coles J., Pujo B., Balk R., Vissing A., Kapania E., Hays J., Fox S., Yantosh G., Mishin P., Yuliarto S., Hari Santoso K., Djajalaksana S., Fatoni A. Z., Fukuda M., Liu K., Battaglini D., Jimenez J. F. M., Bastos D., Gaiao S., Rusmawatiningtyas D., Buchner J., Cho Y. -J., Lee S. H., Kawasaki T., Munshi L., Sakiyalak P., Nitayavardhana P., Seitz T., Arora R., Kent D., Marino D., Parwar S., Cheng A., Miller J., Fujitani S., Shimizu N., Madhok J., Owyang C., Buscher H., Reynolds C., Maasikas O., Beljantsev A., Mihnovits V., Akimoto T., Aizawa M., Horibe K., Onodera R., Young M., George T., Shekar K., McGuinness N., Irvine L., Flynn B., Endo T., Sugiyama K., Shimizu K., Exconde K., Lussier L., Lotz G., Malfertheiner M., Maier L., Dreier E., Kusumastuti N. P., McCloskey C., Dabaliz A. -A., Elshazly T. B., Smith J., Szuldrzynski K. S., Bielanski P., Wille K., Parhar K. K. S., Fiest K. M., Codan C., Shahid A., Fayed M., Evans T., Garcia R., Gutierrez A., Song T., Rose R., Bennett S., Richardson D., Peek G., Arora L., Rappapport K., Rudolph K., Sibenaller Z., Stout L., Walter A., Herr D., Vedadi N., Thompson S., Sindt L., Rajnic S., Ewald C., Hoffman J., Ying X., Kennedy R., Griffee M., Ciullo A., Kida Y., Roca R. F., Riera J. I., Contreras S., Alegre C., Kay C., Fischer I., Renner E., Taniguci H., Fraser J., Bassi G. L., Suen J., Barnett A., Pearse I., Abbate G., Hassan H., Heinsar S., Karnik V. A., Ki K., ONeill H. F., Obonyo N., Pimenta L. P., Reid J. D., Sato K., Vuorinen A., Wildi K. S., Wood E. S., Yerkovich S., Lee J., Plotkin D., Citarella B. W., Hartley E., Lubis B., Ikeyama T., Bhaskar B., Jung J. -S., McGuinness S., Eastwood G., Marta S. R., Guarracino F., Gerle S., Coxon E., Claro B., Loverde D., Patil N., Parrini V., McBride A., Negaard K., Ratsch A., Abdelaziz A., Uribe J. D., Peris A., Sanders M., Emerson D., Kamal M., Povoa P., Francis R., Cherif A., Joseph S., Di Nardo M., Heard M., Kyle K., Blackwell R. A., Biston P., Jeong H. W., Smith R., Prawira Y., Montrucchio G., Garcia A. H., Salterain N., Meyns B., Moreno M., Walia R., Mehta A., Schweda A., Supriatna M., Kirakli C., Williams M., Kim K. H., Assad A., Giraldo E., Karolak W., Balik M., Pocock E., Gajkowski E., Masafumi K., Barrett N., Takeyama Y., Park S., Amin F., Andriyani F. M., Sudakevych S., Vera M., Cornejo R., Schwarz P., Mardini A. C., de Paula T., Neto A. S., Villoldo A., Colafranceschi A. S., Iglesias A. U., Granjean J., Melro L. M. G., Romualdo G. F., Gaia D., Souza H., Galas F., Mendiluce R. M., Sosa A., Martinez I., Kurosawa H., Salgado J., Hugi-MayrCharbonneau B. E., Barzilai V. S., Monteiro V., de Souza R. R., Harper M., Suzuki H., Adams C., Brieva J., Nyale G., Eltatar F. S., Fatani J., Baeissa H., Masri A. A., Rabie A., Hui M. Y., Yamane M., Jung H., Margaret A. M., Nacpil N., Ruck K., Bakken R., Jara C., Felton T., Berra L., Shah B., Chakraborty A., Cardona M., Capatos G., Akkanti B., Orija A., Jain H., Ito A., Housni B., Low S., Iihara K., Chavez J., Ramanathan K., Zabert G., Naidoo K., Seppelt I., VanDyk M., MacDonald S., McGregor R., Siebenaler T., Flynn H., Lofton K., Aokage T., Shigemitsu K., Moscatelli A., Fiorentino G., Baumgaertel M., Mba S. E., Assy J., Hutahaean A., Roush H., Sichting K. A., Alessandri F., Burns D., Salt G., Garabedian C. P., Millar J., Sim M., Mattke A., McAuley D., Tadili J., Frenzel T., Bar-Lavie Y., Ortiz A. B., Stone J., Attokaran A., Farquharson M., Patel B., Gunning D., Baillie K., Watson P., Tamai K., Sajinadiyasa G. K., Kanyawati D., Salgado M., Sassine A., Yudo B., McCaul S., Lee B., Lee S. M., Afek A., Iwashita Y., Semedi B. P., Metiva J., Van Belle N., Martin-Loeches I., Ivatt L., Woon C. Y., Kang H. M., Smith T., James E., Al-Rawas N., Iwasaki Y., King-Chung K. C., Gudzenko V., Hugi-Mayr B., Taccone F., Perdhana F., Lamarche Y., Ribeiro J. M., Bradic N., Van den Bossche K., Lansink O., Singh G., Debeuckelaere G., Stelfox H. T., Yi C., Elia J., Tribble T., Shankar S., Padmanabhan R., Hallinan B., Paoletti L., Leyva Y., Fykuda T., Badulak J., Koch J., Hackman A., Janowaik L., Hernandez D., Osofsky J., Donadello K., Lawang A., Fine J., Davidson B., Vazquez A. O. R.

المساهمون: Li Bassi, G., Gibbons, K., Suen, J. Y., Dalton, H. J., White, N., Corley, A., Shrapnel, S., Hinton, S., Forsyth, S., Laffey, J. G., Fan, E., Fanning, J. P., Panigada, M., Bartlett, R., Brodie, D., Burrell, A., Chiumello, D., Elhazmi, A., Esperatti, M., Grasselli, G., Hodgson, C., Ichiba, S., Luna, C., Marwali, E., Merson, L., Murthy, S., Nichol, A., Ogino, M., Pelosi, P., Torres, A., Ng, P. Y., Fraser, J. F., Al-Dabbous, T., Alfoudri, H., Shamsah, M., Elapavaluru, S., Berg, A., Horn, C., Mayasi, Y., Schroll, S., Meyer, D., Velazco, J., Ploskanych, L., Fikes, W., Bagewadi, R., Dao, M., White, H., Ehlers, A., Shalabi-McGuire, M., Witt, T., Grazioli, L., Lorini, L., Grandin, E. W., Nunez, J., Reyes, T., Obriain, D., Hunter, S., Ramanan, M., Affleck, J., Veerendra, H. H., Rai, S., Russell-Brown, J., Nourse, M., Joseph, M., Mitchell, B., Tenzer, M., Abe, R., Cho, H. J., Jeong, I. S., Rahman, N., Kakar, V., Brozzi, N., Mehkri, O., Krishnan, S., Duggal, A., Houltham, S., Graf, J., Diaz, R., Orrego, R., Delgado, C., Gonzalez, J., Sanchez, M. S., Piagnerelli, M., Sarrazin, J. V., Zabert, A. /P. G., Espinosa, L., Delgado, P., Delgado, V., Rincon, D. F. B., Yanten, A. M. M., Duque, M. B., Al-Hudaib, A., Callahan, M., Taufik, M. A., Wardoyo, E. Y., Gunawan, M., Trisnaningrum, N. S.

مصطلحات موضوعية: COVID-19, intensive care unit, mechanical ventilation, neuromuscular blocking agent, SARS-CoV-2, aged, female, human, male, middle aged, propensity score, respiration, artificial, respiratory distress syndrome

الوصف: The role of neuromuscular blocking agents (NMBAs) in coronavirus disease 2019 (COVID-19) acute respiratory distress syndrome (ARDS) is not fully elucidated. Therefore, we aimed to investigate in COVID-19 patients with moderate-to-severe ARDS the impact of early use of NMBAs on 90-day mortality, through propensity score (PS) matching analysis.

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/35581612; info:eu-repo/semantics/altIdentifier/wos/WOS:000796973600001; volume:26; issue:1; numberofpages:17; journal:CRITICAL CARE; https://hdl.handle.net/11573/1654734Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85130163070

الإتاحة: https://doi.org/10.1186/s13054-022-03983-5Test
https://hdl.handle.net/11573/1654734Test

المؤلفون: Nyx Brain, M, Yamaguchi, T, Brain, M, Ryder, C, Imai, Y, Kawamura, Y

العلاقة: https://ora.ox.ac.uk/objects/uuid:5546b63e-aa33-42e5-8776-a11faf1c8bdcTest; https://doi.org/10.1007/978-3-030-11245-5_20Test

الإتاحة: https://doi.org/10.1007/978-3-030-11245-5_20Test
https://ora.ox.ac.uk/objects/uuid:5546b63e-aa33-42e5-8776-a11faf1c8bdcTest

المؤلفون: Brain, M, Niemetz, A, Preiner, M, Reynolds, A, Barrett, C, Tinelli, C

الوصف: Automated reasoning procedures are essential for a number of applications that involve bit-exact floating-point computations. This paper presents conditions that characterize when a variable in a floating-point constraint has a solution, which we call invertibility conditions. We describe a novel workflow that combines human interaction and a syntax-guided synthesis (SyGuS) solver that was used for discovering these conditions. We verify our conditions for several floating-point formats. One implication of this result is that a fragment of floating-point arithmetic admits compact quantifier elimination. We implement our invertibility conditions in a prototype extension of our solver CVC4, showing their usefulness for solving quantified constraints over floating-points.

العلاقة: https://ora.ox.ac.uk/objects/uuid:e8a66285-1684-4fa6-8851-d951f9bb003bTest; https://doi.org/10.1007/978-3-030-25543-5_8Test

الإتاحة: https://doi.org/10.1007/978-3-030-25543-5_8Test
https://ora.ox.ac.uk/objects/uuid:e8a66285-1684-4fa6-8851-d951f9bb003bTest