-
1دورية أكاديمية
المؤلفون: Alessandro Aldini
المصدر: Frontiers in Robotics and AI, Vol 9 (2022)
مصطلحات موضوعية: collective adaptive systems, social networks, process algebra, model checking, temporal logics, Mechanical engineering and machinery, TJ1-1570, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Alessandro Aldini
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 312, Iss Proc. QAPL 2019, Pp 1-19 (2020)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Annamaria Amura, Alessandro Aldini, Stefano Pagnotta, Emanuele Salerno, Anna Tonazzini, Paolo Triolo
المصدر: Journal of Imaging, Vol 7, Iss 3, p 53 (2021)
مصطلحات موضوعية: cultural heritage, diagnostic images, image analysis, feature extraction, documentation, geographic information systems (GIS), Photography, TR1-1050, Computer applications to medicine. Medical informatics, R858-859.7, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Alessandro Aldini
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 217, Iss Proc. FORECAST 2016, Pp 19-30 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Alessandro Aldini, Marco Bernardo
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 194, Iss Proc. QAPL 2015, Pp 1-15 (2015)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: Alessandro Aldini
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 28, Iss Proc. QAPL 2010, Pp 1-15 (2010)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
7
المؤلفون: Mirko Tagliaferri, Alessandro Aldini
المصدر: Journal of Logic and Computation. 32:1017-1047
مصطلحات موضوعية: Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Software, Theoretical Computer Science
-
8
المؤلفون: Samuel Alexander, Alessandro Aldini, Pierluigi Graziani
المصدر: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aca561491e990f0a628caf834cd91089
https://doi.org/10.1007/978-3-031-26236-4_30 -
9
المصدر: Journal of Communications and Networks. 21:509-520
مصطلحات موضوعية: Value (ethics), Participatory sensing, Data collection, Computer Networks and Communications, business.industry, Computer science, Internet privacy, Wearable computer, 020206 networking & telecommunications, 02 engineering and technology, Voucher, Incentive, Common cause and special cause, 0202 electrical engineering, electronic engineering, information engineering, business, Information Systems, Anonymity
-
10
المؤلفون: Mirko Tagliaferri, Alessandro Aldini, Pierluigi Graziani
المصدر: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops ISBN: 9783030672195
SEFMمصطلحات موضوعية: Belief base, Ignorance, Beliefs, media_common.quotation_subject, Doxastic logic, 06 humanities and the arts, 02 engineering and technology, 0603 philosophy, ethics and religion, Epistemology, Modal logics, 060302 philosophy, Formal language, 0202 electrical engineering, electronic engineering, information engineering, Introspection, 020201 artificial intelligence & image processing, Ignorance, Beliefs, Modal logics, Psychology, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0b9248d5b4c621be52d286fb51f26d8
https://doi.org/10.1007/978-3-030-67220-1_17