المؤلفون: Ijaz Ahmad, Alessia Amelio, Arcangelo Merla, Francesca Scozzari

المصدر: Frontiers in Artificial Intelligence, Vol 6 (2024)

مصطلحات موضوعية: artificial intelligence, deep learning, machine learning, Long COVID, post-acute sequelae of SARS CoV-2 infection, PASC, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://www.frontiersin.org/articles/10.3389/frai.2023.1292466/fullTest; https://doaj.org/toc/2624-8212Test

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

المؤلفون: Gianluca Amato, Francesca Scozzari

المصدر: SoftwareX, Vol 23, Iss , Pp 101428- (2023)

مصطلحات موضوعية: Arbitrary precision arithmetic, Integer numbers, Rational numbers, Floating point numbers, Java, Computer software, QA76.75-76.765

وصف الملف: electronic resource

العلاقة: http://www.sciencedirect.com/science/article/pii/S2352711023001243Test; https://doaj.org/toc/2352-7110Test

الوصول الحر: https://doaj.org/article/0d9fd1c54631455eacd69c415eaf2f33Test

المؤلفون: Annamaria Porreca, Francesca Scozzari, Marta Di Nicola

المصدر: BMC Public Health, Vol 20, Iss 1, Pp 1-9 (2020)

مصطلحات موضوعية: Vaccinations, YouTube, Sentiment analysis, Pro-vax, No-vax, Public aspects of medicine, RA1-1270

وصف الملف: electronic resource

العلاقة: http://link.springer.com/article/10.1186/s12889-020-8342-4Test; https://doaj.org/toc/1471-2458Test

الوصول الحر: https://doaj.org/article/4ea92ad5d5eb4d038a46bc41e9374e66Test

المؤلفون: Gianluca Amato, Francesca Scozzari

المساهمون: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, Amato, Gianluca, Scozzari, Francesca

مصطلحات موضوعية: static analysis, equation systems, iterative methods, widening, narrowing

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-27480-0; info:eu-repo/semantics/altIdentifier/wos/WOS:000999132100010; ispartofseries:Formal Methods; ispartofbook:Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings; FM 2023; volume:14000; firstpage:142; lastpage:159; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11564/800399Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85151045832; https://link.springer.com/chapter/10.1007/978-3-031-27481-7_10Test

الإتاحة: https://doi.org/10.1007/978-3-031-27481-7_10Test
https://hdl.handle.net/11564/800399Test

المؤلفون: Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

مصطلحات موضوعية: Theoretical Computer Science, General Computer Science

العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/40890Test

الإتاحة: https://doi.org/10.1016/j.tcs.2020.02.021Test
https://www.openaccessrepository.it/record/40890Test

المؤلفون: Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

المساهمون: Alessandro Aldini, Marco Bernardo, Amato, Gianluca, Meo, MARIA CHIARA, Scozzari, Francesca

مصطلحات موضوعية: abstract interpretation, collecting semantics

وصف الملف: ELETTRONICO

العلاقة: ispartofbook:Italian Conference on Theoretical Computer Science 2018; ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE; volume:2243; firstpage:1; lastpage:5; numberofpages:5; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/11564/698513Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85056901168; http://ceur-ws.org/Vol-2243/paper21.pdfTest

الإتاحة: http://hdl.handle.net/11564/698513Test
http://ceur-ws.org/Vol-2243/paper21.pdfTest

المؤلفون: Francesca Scozzari, Gianluca Amato

المصدر: Formal Methods ISBN: 9783031274800

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::7197a8072136ef7d08b8c0f7158655a0Test
https://doi.org/10.1007/978-3-031-27481-7_10Test

المؤلفون: Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

المساهمون: Amato, Gianluca, Meo, MARIA CHIARA, Scozzari, Francesca

مصطلحات موضوعية: Sharing analysis, linearity, aliasing, object-oriented programming

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000810832600001; volume:32; issue:1; firstpage:44; lastpage:110; numberofpages:67; journal:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; https://hdl.handle.net/11564/792613Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143661697; https://doi.org/10.1017/s0960129522000160Test

الإتاحة: https://doi.org/10.1017/S0960129522000160Test
https://doi.org/10.1017/s0960129522000160Test
https://hdl.handle.net/11564/792613Test

المؤلفون: Francesca Scozzari, Gianluca Amato, Maria Chiara Meo

المصدر: Theoretical Computer Science. 823:1-25

مصطلحات موضوعية: General Computer Science, Computer science, Programming language, Semantics (computer science), 0102 computer and information sciences, 02 engineering and technology, Characterization (mathematics), Abstract interpretation, computer.software_genre, Semantics, 01 natural sciences, Constructive, Theoretical Computer Science, Program analysis, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Relative precision, computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::643f064a11dc65e7b399973fd68954bbTest
https://doi.org/10.1016/j.tcs.2020.02.021Test

المؤلفون: Gianluca Amato, Francesca Scozzari

مصطلحات موضوعية: Static analysis, Equation systems, Iterative methods, Widening, Narrowing

العلاقة: https://zenodo.org/record/7339644Test; https://doi.org/10.5281/zenodo.7339644Test; oai:zenodo.org:7339644

الإتاحة: https://doi.org/10.5281/zenodo.7339644Test
https://doi.org/10.5281/zenodo.7339643Test
https://zenodo.org/record/7339644Test