Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Luca Arnaboldi"'
Publikováno v:
Machine Learning with Applications, Vol 11, Iss , Pp 100448- (2023)
Financial markets are a source of non-stationary multidimensional time series which has been drawing attention for decades. Each financial instrument has its specific changing-over-time properties, making its analysis a complex task. Hence, improveme
Externí odkaz:
https://doaj.org/article/94e9145a321c45c9b8b8105129464f94
Publikováno v:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Publikováno v:
Bogani, R, Theodorou, A, Arnaboldi, L & Wortham, R H 2022, ' Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements ', AI and Ethics . https://doi.org/10.1007/s43681-022-00221-0
Data and autonomous systems are taking over our lives, from healthcare to smart homes very few aspects of our day to day are not permeated by them. The technological advances enabled by these technologies are limitless. However, with advantages so to
Autor:
Luca Arnaboldi, David Aspinall
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031148613
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::072a0b2aacc6ff6a3b9593472f254043
https://doi.org/10.1007/978-3-031-14862-0_16
https://doi.org/10.1007/978-3-031-14862-0_16
Autor:
Luca Arnaboldi, Daniele Loiacono
Publikováno v:
IEEE Transactions on Games. 11:36-47
Map design is a major challenge in the development of a successful multiplayer first-person shooter. In fact, it has a large impact on the game dynamics and deeply affects the player experience. In this paper, we present a search-based procedural con
Autor:
Roberto Metere, Luca Arnaboldi
Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysis, verification, and the interpretation of the specification is only e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92af618daf691fb5f865c330346d2e90
http://arxiv.org/abs/2105.09150
http://arxiv.org/abs/2105.09150
Financial markets are a source of non-stationary multidimensional time series which has been drawing attention for decades. Each financial instrument has its specific changing over time properties, making their analysis a complex task. Improvement of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ed4513c7cd1cfc74e0ad8e1c6d26b1e
Autor:
Artur Sokolovsky, Luca Arnaboldi
Although machine learning approaches have been widely used in the field of finance, to very successful degrees, these approaches remain bespoke to specific investigations and opaque in terms of explainability, comparability, and reproducibility. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95f4bb7ca96365980093158a72870c58
Publikováno v:
Arnaboldi, L, Czekster, R M, Morisset, C & Metere, R 2020, ' Modelling Load-Changing Attacks in Cyber-Physical Systems ', Electronic Notes in Theoretical Computer Science, vol. 353, pp. 39-60 . https://doi.org/10.1016/j.entcs.2020.09.018
Cyber-Physical Systems (CPS) are present in many settings addressing a myriad of purposes. Examples are Internet-of-Things (IoT) or sensing software embedded in appliances or even specialised meters that measure and respond to electricity demands in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63d48a50dc9a460b30fe0dd93bcea60b
http://arxiv.org/abs/1911.12757
http://arxiv.org/abs/1911.12757
Autor:
Luca Arnaboldi, Roberto Metere
Publikováno v:
CCS
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface. The graphical interface can be seen as a modern editor of a non-relational database wh