ccReact: a rewriting framework for the formal analysis of reaction systems

Reaction Systems (RSs) are a computational framework inspired by biochemical systems, where entities produced by reactions can enable or inhibit other reactions. RSs interact with the environment through a sequence of sets of entities called the context. In this work, we introduce ccReact, a novel interaction language for implementing and verifying RSs. ccReact extends the classical RS model by allowing the specification of recursive, nondeterministic, and conditional context sequences, thus ...

SLIMER-IT: Zero-Shot NER on Italian Language

Traditional approaches to Named Entity Recognition (NER) frame the task into a BIO sequence labeling problem. Although these systems often excel in the downstream task at hand, they require extensive annotated data and struggle to generalize to out-of-distribution input domains and unseen entity types. On the contrary, Large Language Models (LLMs) have demonstrated strong zero-shot capabilities. While several works address Zero-Shot NER in English, little has been done in other languages. In ...

Pratiche riflessive di ottava rima: alcune esperienze didattiche di avvicinamento all’arte del contrasto in Toscana

Falling from Olympus. Deconstructing the modern idea of “pantheon” to translate the ancient panthe(i)on/pantheum

How should we translate a term that has a direct linguistic heritage but the meaning of which has changed over time? This difficulty hangs over our understanding of the term "pantheon," which we instinctively associate with the set of gods of a polytheistic religion, or with a monument (like the Roman Pantheon) that is supposed to combine and condense the devotion to all the gods. This article collects and compares the various readings of this lexeme that have been proposed over time precisel...