Archivio istituzionale della ricerca - Università degli Studi di Venezia Ca' Foscari
Not a member yet
92081 research outputs found
Sort by
Due Canova agli Eremitani. Storie di spostamenti, alienazioni e distruzioni tra Otto e Novecento
No full textThere are two works by Antonio Canova that were present for almost the entire nineteenth century in the site of the Church of the Eremitani with alternating fortune
Attilio Badodi fotografo di teatro
No full textTra i maggiori protagonisti della fotografia italiana del primo Novecento, Attilio Badodi (Reggio Emilia, 1880 ― Milano, 1967) ritrae il teatro del tempo in un affresco di rara precisione e bellezza. Nelle sue opere, straordinari esempi di foto ritratto liberty, compaiono attori, cantanti, musicisti, compositori e drammaturghi, sia in scatti privati che in abiti di scena. Partendo dalle parole dello stesso Badodi e dai documenti dello suo studio milanese, questo volume vuol essere un omaggio alla fortunata carriera del fotografo e a quella dei protagonisti del teatro italiano immortalati nelle sue lastre
co-authored with Peter Isépy, Cyril’s Glossary as a Source for Ps.-Zonaras’ Lexicon
No full textOn the basis of new material, the present article aims to re-examine the date of origin of the so-called Lexicon Tittmanianum or Lexicon Ps. Zonarae, and the identity of its author. Moreover, in the case of one of its numerous sources, the so-called Lexicon Cyrilli, the article aims to determine the version of the ‘Cyril’ Lexicon from which the Lexicon of Ps.-Zonaras originated. In the light of our research, which shows a connection with a branch of the Cyrillic tradition that widely circulated outside Constantinople during the Latin occupation, the origin of the Lexicon Ps. Zonarae in the first half of the 13th century in the Greek East, i.e. in the Empire of Nicaea, seems quite probable
12th-century Philosophers and the Filioque: The Case of Nicholas of Methone's Corpus on the Procession of the Holy Spirit
No full textQuesto capitolo esamina il corpus di scritti teologici di Nicola di Metone dedicati alla processione dello Spirito Santo, con particolare attenzione al suo ruolo nel dibattito sul Filioque nel XII secolo. Alessandra Bucossi dimostra come Nicola elabori una teologia coerente e articolata, volta a difendere l’ortodossia bizantina contro le posizioni latine, integrando riferimenti patristici e filosofici. Attraverso l’analisi dei quattro trattati principali (Ad magnum domesticum, Adversus Latinos de Spiritu Sancto, Refutationes theologicae doctrinae Latinorum, Memoriae contra Latinos), l’autrice mette in luce il rapporto tra il pensiero teologico e quello filosofico di Nicola, evidenziando l’influenza di Proclo e del Corpus dionisiano e l’originalità della terminologia teologica impiegata. Il capitolo mostra come, pur utilizzando strumenti concettuali di derivazione neoplatonica, Nicola riesca a ridefinirli in chiave cristiana per sostenere la monarchia del Padre e l’unicità del principio divino nella Trinità, offrendo così un contributo fondamentale alla comprensione della filosofia e della teologia bizantina del XII secolo.This chapter examines Nicholas of Methone’s corpus of theological writings on the procession of the Holy Spirit, focusing on his role in the twelfth-century Filioque controversy. Alessandra Bucossi shows how Nicholas develops a coherent theological system aimed at defending Byzantine orthodoxy against Latin positions, while integrating patristic and philosophical sources. Through an analysis of the four main treatises (Ad magnum domesticum, Adversus Latinos de Spiritu Sancto, Refutationes theologicae doctrinae Latinorum, Memoriae contra Latinos), the author highlights the interplay between Nicholas’s theological and philosophical thought, emphasizing the influence of Proclus and the Dionysian corpus as well as the originality of his theological vocabulary. The chapter demonstrates how Nicholas, while employing Neoplatonic conceptual tools, reinterprets them within a Christian framework to affirm the Father’s monarchy and the unity of the divine principle within the Trinity, thus offering an essential contribution to the understanding of twelfth-century Byzantine theology and philosophy
GÖDEL'S LEGACY: FORMAL THINKING, LLM AND THE EVOLUTION OF ARTIFICIAL INTELLIGENCE (AI)
No full textGödel, Escher, Bach: An Eternal Golden Braid (GEB) constitutes a seminal work by Douglas R. Hofstadter, first published in 1979. This treatise delves into concepts such as recursion, self-reference, formal systems, and intelligence, interrelating the contributions of three pivotal figures: •Kurt Gödel: The mathematician renowned for formulating the Incompleteness Theorem, which posits that no formal system can be entirely self-sufficient. •M.C. Escher: The artist celebrated for his paradoxical and self-reflective imagery, engendering perceptual illusions and symmetrical constructs. •Johann Sebastian Bach: The composer is famed for his recursive fugues and canons, mirroring repetitive and stratified musical structures. Principal Themes of GEB: 1.Gödel's Theorem: Demonstrates the inherent limitations of formal systems and mathematics. 2.Escher's Oeuvre: Illustrates concepts of self-reference and visual paradox. 3.Bach's Music: Presents recursive patterns and repetitive structures, paralleling the Back model, which underscores recursion in musical architectures. 4.Recursion and Self-Reference: Central themes in artificial intelligence, linguistics, and cognitive systems. 5.Artificial Intelligence and Consciousness: Hofstadter hypothesizes that intelligence can emerge from formal systems, akin to how consciousness arises from neuronal activity. Hofstadter employs dialogues, enigmas, and logical games to guide the reader through intricate concepts in mathematics, music, and philosophy of mind. This study, then, aims to analyze the connections between Gödel, Escher, and Bach, and the concept of musical and linguistic recursion, with a particular focus on the link between Bach and musical recursivity, and the comparison to linguistic recursivity in the poetic text of Divine Comedy. This parallelism inevitably leads to an investigation of Sentiment Analysis, transferring Fibonacci's tool from tonal to phonal analysis, with the detection of phonal gradations that, in recursivity, generate emotions, vibrations, and sound structures capable of transmitting profound sensations
Los vestigios del concepto de “guerra justa” del autoritarismo militar brasileño en el discurso bolsonarista sobre el enemigo
No full textBetween 2018 and 2022, Brazil experienced deep political and social polarization, rooted in a dualistic logic dividing “friends” and “enemies.” Emerging in 2014, this reached its peak under Bolsonaro, whose rhetoric revived authoritarian ideals of a homogeneous nation. In one speech, he claimed laws serve the majority, while minorities must “adapt or simply disappear.” Echoing the military dictatorship, this discourse legitimises the exclusion of the “other,” even in physicalterms.Entre 2018 y 2022, Brasil vivió una fuerte polarización política y social basada en una lógica dualista de “amigos” y “enemigos”. Iniciada en 2014, alcanzó su punto máximo con Bolsonaro, cuyo discurso retomó ideales autoritarios de una nación homogénea. En un discurso afirmó que las leyes sirven a las mayorías, y las minorías “se adaptan o simplemente desaparecen”. Esta retórica, que remite a la dictadura, legitima la exclusión del “otro”, incluso en términos físicos
A contamination-controlled analytical method for the determination of cVMS in indoor and outdoor air
No full textCyclic volatile methylsiloxanes (cVMS) are compounds widely used in industrial
applications, including silicone polymers and personal care products (PCPs). The
detection in the environment of octamethylcyclotetrasiloxane (D4),
decamethylcyclopentasiloxane (D5), and dodecamethylcyclohexasiloxane (D6) has
raised increasing concerns and recent restrictions to use (Regulation EU, 2024/1328).
However, some key environmental processes, including the deposition of cVMS in
remote areas, are still not clear. In this context, the atmosphere represents the key
matrix to understand their environmental fate. The determination of cVMS in air
represents an analytical challenge due to the high risk of contamination during sample
preparation, linked both to the handling by the operators, potentially using PCPs
containing siloxanes, as well as to their widespread presence in materials and
instrumentation normally used inside the laboratories. The aim of this work was to
develop a method to monitor cVMS in air, minimizing sample handling and external
contamination: a thorough evaluation of the analytical steps was conducted selecting
the most appropriate sampling supports, adsorbers and elution conditions, with a strict
control of blanks. The final method (recoveries: 77-87%, trueness: 95-99%) was
applied to the sampling of cVMS in the indoor air of different laboratories at Ca’ Foscari
University of Venice, including general-purpose areas, combined hood and stainless-
steel clean-room laboratories for organic contaminants, to characterize their different
potential contamination levels during working activities. These samples were
compared to the levels of cVMS detected in outdoor atmosphere from urban and
background alpine areas. The analytical improvements introduced by this method will
provide a useful tool for studying the atmospheric behavior of cVMS, constituting a
basic starting point for future environmental research
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning
Get PDFSmart Contracts are at the heart of blockchain transactions, and their integrity is essential to blockchain reliability and performance. Specific errors in Smart Contract code are known to trigger vulnerabilities, which have been categorized into different patterns. Following the success of Large Language Models in software analysis, several authors have proposed the use of LLM to detect Smart Contract vulnerabilities. In this paper, we compare the performance of various LLM as well as formal analysis tools in analyzing Ethereum Smart Contracts for various vulnerabilities, based on standard datasets. Unlike previous work that used LLM fine-tuning, we explore performance based on direct In-Context Learning using standard Prompt Engineering techniques. Our results suggest that the straightforward use of LLM may still be beneficial in the analysis of Smart Contracts, depending on the vulnerability type
A Hybrid RAG Framework for Bug-to-Feature Mapping
No full textReliability and efficiency are two of the main concerns for software designs. These quality objectives can be met through efficient design and bug management. Developers and stakeholders report a large number of software bugs periodically. These bug reports often lack proper descriptions of the issues and the correct linked entities. Thus, it requires efficient bug localization and mapping the reported bugs to the exact soft-ware features for resolution. Most of the related research works primarily focus on bug classification and categorization to identify high-priority bugs. This work proposes a novel methodology towards analyzing the bugs, and accordingly identifying relevant software features. The proposed methodology uses large language models (LLM) for mapping bug reports to relevant software features. The effectiveness of this approach is evaluated using two state-of-the art LLM models which are employed using naive Retrieval Augmented Generation (RAG) and advanced RAG. The comparative study identifies fascinating distinctions between advanced RAG and naive RAG, results in identifying software features. These findings highlight the potential of LLM powered retrieval methods in improving automated bug localization, paving the way for more efficient software maintenance and debugging workflows