المؤلفون: 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

Relation: https://www.frontiersin.org/articles/10.3389/frobt.2022.866649/full; https://doaj.org/toc/2296-9144

URL الوصول: https://doaj.org/article/c01eb004823d4849b8ff65bc25f390d7

المؤلفون: 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

Relation: http://arxiv.org/pdf/2001.06942v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/f4ce6dcb502a496d95fbb04162af4a8f

المؤلفون: 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

Relation: https://www.mdpi.com/2313-433X/7/3/53; https://doaj.org/toc/2313-433X

URL الوصول: https://doaj.org/article/9dcee3d56ab049679125388e53d18eda

المؤلفون: 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

Relation: http://arxiv.org/pdf/1607.02232v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/36f549de64d94ef78eedaad5a5f19679

المؤلفون: 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

Relation: http://arxiv.org/pdf/1509.08559v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/5c86b43c1e444ea682b0b365f0b5bfcf

المؤلفون: 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

Relation: http://arxiv.org/pdf/1006.5094v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/70510aac6a424cf2b07e918c21782d34

المؤلفون: Mirko Tagliaferri, Alessandro Aldini

المصدر: Journal of Logic and Computation. 32:1017-1047

مصطلحات موضوعية: Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0305d63d2baeeaa4de3ffe9024402213
https://doi.org/10.1093/logcom/exac016

المؤلفون: 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

المؤلفون: Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo, Lorenz Cuno Klopfenstein

المصدر: 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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67951f67a6949d53efe6a765f935366b
https://doi.org/10.1109/jcn.2019.000051

المؤلفون: 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