المؤلفون: Gabrielli, Edoardo, Belli, Dimitri, Matrullo, Zoe, Miori, Vittorio, Tolomei, Gabriele

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/2303.16668

المؤلفون: Mazzanti, Franco, Belli, Dimitri

المصدر: EPTCS 355, 2022, pp. 118-144

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.1,D.2.2,D.2.4,D.3.1

URL الوصول: http://arxiv.org/abs/2203.10903

المؤلفون: Belli, Dimitri, Barsocchi, Paolo, Palumbo, Filippo

المساهمون: European Commission

المصدر: Internet of Things ; volume 25, page 101005 ; ISSN 2542-6605

الاتاحة: http://dx.doi.org/10.1016/j.iot.2023.101005
https://api.elsevier.com/content/article/PII:S2542660523003281?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2542660523003281?httpAccept=text/plain

المؤلفون: Tolomei, Gabriele, Gabrielli, Edoardo, Belli, Dimitri, Miori, Vittorio

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security, Statistics - Machine Learning

Relation: http://arxiv.org/abs/2303.16668

الاتاحة: http://arxiv.org/abs/2303.16668

المؤلفون: Mazzanti, Franco, Belli, Dimitri

مصطلحات موضوعية: forma verification, formal methods, system reuiremetns, standard, standard interfaces, railway signaling systems

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.6245955; https://doi.org/10.5281/zenodo.6245956; oai:zenodo.org:6245956

الاتاحة: https://doi.org/10.5281/zenodo.6245956

المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

مصطلحات موضوعية: Requirements analysis, formal methods, software engineering, railway signalling

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.7225869; https://doi.org/10.5281/zenodo.7298044; oai:zenodo.org:7298044

الاتاحة: https://doi.org/10.5281/zenodo.7298044

المؤلفون: Barsocchi, Paolo, Chessa, Stefano, Foschini, Luca, Belli, Dimitri, Girolami, Michele

المساهمون: Barsocchi, Paolo, Chessa, Stefano, Foschini, Luca, Belli, Dimitri, Girolami, Michele

مصطلحات موضوعية: CrowdSensing, Multi-access Edge Computing, Mobile Edge, Community Detection

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-8298-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000668970504078; ispartofbook:GLOBECOM 2020 - 2020 IEEE Global Communications Conference; IEEE Global Communications Conference, GLOBECOM 2020; firstpage:1; lastpage:6; numberofpages:6; serie:. IEEE GLOBAL COMMUNICATIONS CONFERENCE; https://hdl.handle.net/11585/811875; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85101215492; https://ieeexplore.ieee.org/document/9348085

الاتاحة: https://hdl.handle.net/11585/811875
https://doi.org/10.1109/GLOBECOM42002.2020.9348085
https://ieeexplore.ieee.org/document/9348085

المؤلفون: Belli, Dimitri, Lischi, Guglielmo, Pardini, Giovanni, Milazzo, Paolo, Domenici, Valentina

المصدر: Journal of Chemical Education ; volume 101, issue 2, page 647-652 ; ISSN 0021-9584 1938-1328

الاتاحة: http://dx.doi.org/10.1021/acs.jchemed.3c00986
https://pubs.acs.org/doi/pdf/10.1021/acs.jchemed.3c00986

المؤلفون: Belli, Dimitri, Crivello, Antonino, La Rosa, Davide, Barsocchi, Paolo

مصطلحات موضوعية: indoor localization, accelerometers, fingerprinting, indoor positioning, intelligent floor

Relation: https://doi.org/10.5281/zenodo.10838489; https://doi.org/10.5281/zenodo.10894184; oai:zenodo.org:10894184

الاتاحة: https://doi.org/10.5281/zenodo.10894184

المؤلفون: Girolami, Michele, Belli, Dimitri, Chessa, Stefano

المساهمون: Girolami, Michele, Belli, Dimitri, Chessa, Stefano

مصطلحات موضوعية: Ad-hoc networking, Community detection, Delay-tolerant communication, Mobility dataset, Opportunistic routing, Service-oriented architecture, Social mobility, Information System, Hardware and Architecture, Computer Networks and Communication, Strategy and Management1409 Tourism, Leisure and Hospitality Management

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000456806600010; volume:27; issue:1; firstpage:233; lastpage:268; numberofpages:36; journal:JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT; https://hdl.handle.net/11568/939827; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85049593891; https://link.springer.com/article/10.1007/s10922-018-9465-0

الاتاحة: https://hdl.handle.net/11568/939827
https://doi.org/10.1007/s10922-018-9465-0
https://link.springer.com/article/10.1007/s10922-018-9465-0

المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

المصدر: Formal Methods for Industrial Critical Systems ; Lecture Notes in Computer Science ; page 22-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031436802 9783031436819

الاتاحة: http://dx.doi.org/10.1007/978-3-031-43681-9_2
https://link.springer.com/content/pdf/10.1007/978-3-031-43681-9_2

المؤلفون: Belli, Dimitri, Mazzanti, Franco

المصدر: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ; Lecture Notes in Computer Science ; page 164-173 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031262357 9783031262364

الاتاحة: http://dx.doi.org/10.1007/978-3-031-26236-4_14
https://link.springer.com/content/pdf/10.1007/978-3-031-26236-4_14

المؤلفون: BELLI, DIMITRI

المساهمون: Chessa, Stefano, Girolami, Michele

المصدر: http://etd.adm.unipi.it/theses/available/etd-02192020-084807/.

مصطلحات موضوعية: INF/01

وصف الملف: application/pdf

Relation: http://etd.adm.unipi.it/theses/available/etd-02192020-084807/

الاتاحة: http://etd.adm.unipi.it/theses/available/etd-02192020-084807/

المؤلفون: Mazzanti Franco, Belli Dimitri

مصطلحات موضوعية: Railway Signaling System, Formal Methods, Requirements Analysis, Standard Interfaces

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.5541217; https://doi.org/10.5281/zenodo.5541739; oai:zenodo.org:5541739

الاتاحة: https://doi.org/10.5281/zenodo.5541739

المؤلفون: Mazzanti Franco, Belli Dimitri

مصطلحات موضوعية: signalling system, UMC, ProB, CADP, LNT, formal models

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.5541307; https://doi.org/10.5281/zenodo.10005369; oai:zenodo.org:10005369

الاتاحة: https://doi.org/10.5281/zenodo.10005369

المؤلفون: BELLI, DIMITRI

المساهمون: Milazzo, Paolo, Domenici, Valentina, Pardini, Giovanni

المصدر: http://etd.adm.unipi.it/theses/available/etd-05242016-175621/.

مصطلحات موضوعية: FILOLOGIA, LETTERATURA E LINGUISTICA

وصف الملف: application/pdf

Relation: http://etd.adm.unipi.it/theses/available/etd-05242016-175621/

الاتاحة: http://etd.adm.unipi.it/theses/available/etd-05242016-175621/

المؤلفون: Belli, Dimitri, Chessa, Stefano, Foschini, Luca, Girolami, Michele

المساهمون: Belli, Dimitri, Chessa, Stefano, Foschini, Luca, Girolami, Michele

مصطلحات موضوعية: Human-driven Edge Computing, Mobile Crowdsensing, Social Mobility, Software, Signal Processing, Mathematics (all), Computer Science Applications1707 Computer Vision and Pattern Recognition, Computer Networks and Communications

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781538669501; info:eu-repo/semantics/altIdentifier/wos/WOS:000516781500052; ispartofbook:Proceedings - IEEE Symposium on Computers and Communications; 2018 IEEE Symposium on Computers and Communications, ISCC 2018; volume:2018-; firstpage:292; lastpage:297; numberofpages:6; serie:PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS; http://hdl.handle.net/11585/680819; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85059212672

الاتاحة: http://hdl.handle.net/11585/680819
https://doi.org/10.1109/ISCC.2018.8538763

المؤلفون: Belli, Dimitri, Chessa, Stefano, Foschini, Luca, Girolami, Michele

المساهمون: Belli, Dimitri, Chessa, Stefano, Foschini, Luca, Girolami, Michele

مصطلحات موضوعية: Human-driven Edge Computing, Mobile Crowdsensing, Mobile Edge Computing, Social Mobility, Computer Networks and Communication, Computer Science Applications1707 Computer Vision and Pattern Recognition, Artificial Intelligence

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781538668443; info:eu-repo/semantics/altIdentifier/wos/WOS:000459817400015; ispartofbook:Proceedings - 2018 International Conference on Intelligent Environments, IE 2018; 14th International Conference on Intelligent Environments, IE 2018; firstpage:95; lastpage:98; numberofpages:4; http://hdl.handle.net/11585/680704; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85061532962; http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8592779

الاتاحة: http://hdl.handle.net/11585/680704
https://doi.org/10.1109/IE.2018.00023
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8592779

المؤلفون: Mazzanti Franco, Belli Dimitri

مصطلحات موضوعية: Ada, UMC, ProB, LNT

Relation: https://doi.org/10.5281/zenodo.5541350; https://doi.org/10.5281/zenodo.5541351; oai:zenodo.org:5541351

الاتاحة: https://doi.org/10.5281/zenodo.5541351

المؤلفون: Mazzanti Franco, Belli Dimitri

مصطلحات موضوعية: signalling system, UMC, ProB, CADP, LNT, formal models

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.5541307; https://doi.org/10.5281/zenodo.6322392; oai:zenodo.org:6322392

الاتاحة: https://doi.org/10.5281/zenodo.6322392