Archives

E. De Angelis, G. De Angelis, M. Mongelli, M. Proietti: A Validation Methodology for XAI Decision SupportSystems Against Relational Domain Properties. J. Softw. Evol. Process. 37(10) (2025)

The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in manyfields. Such a pervasiveness has led to changes in how AI is perceived, strengthening discussions on its societal consequences.Thus, a new class of requirements for AI-based solutions emerged. Broadly speaking, those on “explainability” aim to providea transparent representation of […]

Read More

A Validation Methodology for XAI Decision SupportSystems Against Relational Domain Properties.

The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in manyfields. Such a pervasiveness has led to changes in how AI is perceived, strengthening discussions on its societal consequences.Thus, a new class of requirements for AI-based solutions emerged. Broadly speaking, those on “explainability” aim to providea transparent representation of […]

Read More

SUMOylation balance: a key determinant in synapse physiology.

SUMOylation is a crucial post-translational modification that regulates protein function at multiple levels. In this review the authors discuss the SUMOylation impact in the regulation of the synapse compartment and the therapeutic potential of modulating SUMOylation in Alzheimer’s disease as example of neurodegenerative disorders. SUMOylation balance: a key determinant in synapse physiology. Frontiers in Physiology […]

Read More

M. Barboni, G. De Angelis, A. Morichetta, A. Polini: Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts. ACM Trans. Internet Techn. 25(3): 19:1-19:30 (2025)

Blockchain technology is increasingly adopted in scenarios requiring trust and data integrity. On the Ethereum blockchain, the proxy pattern has become increasingly popular because it allows smart contract code to evolve while preserving stored data. However, a key challenge remains ensuring that such upgrades do not introduce breaking changes or cause disruptions to other contracts […]

Read More

Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts.

Blockchain technology is increasingly adopted in scenarios requiring trust and data integrity. On the Ethereum blockchain, the proxy pattern has become increasingly popular because it allows smart contract code to evolve while preserving stored data. However, a key challenge remains ensuring that such upgrades do not introduce breaking changes or cause disruptions to other contracts […]

Read More

CNR: The Urban Intelligence Model for the Science of Cities

Technologies such as AI and sensor networks allow for a better understanding of a city, facilitating the predictive analysis of specific events and the simulation of complex multi-sector interventions. The CNR’s Urban Intelligence model provides decision support for city governance through the creation of Urban Digital Twins.

Read More