Buscador de Tesis y publicaciones académicas

On Multi-Language Semantics: Semantic Models, Equational Logic, and Abstract Interpretation of Multi-Language Code

Samuele Buro

Modern software development rarely takes place within a single programming language. Often, programmers appeal to cross-language interoperability. Benefits are two-fold: exploitation of novel features of one language within another, and cross-language code reuse. For instance, HTML, CSS, and JavaScript yield a form of...

Artificial Intelligence Techniques Integrate Biological Omics into Graphs for the Prediction and Pathway Analysis of Patient’s Disease

Luca Giudice

A person’s phenotype refers to the observable physical properties of the organism. The phenotype is determined by the genotype, which is the set of organism’s genes. The latter do not act alone but are regulated by other molecules in the same cell. The correlation between genotype and phenotype is the statistical relat...

Leveraging Text-to-Video Diffusion Models for Synthetic Gait Dataset Generation and Appearance-Robust Person Recognition

Boscolo, Federico · Lamberti, Fabrizio

Gait recognition accuracy drops 10-25% when subjects wear coats or carry bags, yet collecting diverse training data is costly. This paper proposes a text-to-video diffusion pipeline to synthesize realistic gait data. Unlike prior silhouette generation, we produce full video sequences with identity-consistent faces, ena...

RGB-D Human Pose Estimation to Assess Instability in Parkinson’s Disease: a Multi-center Evaluation

Amprimo, Gianluca · Ferraris, Claudia · Artusi, Carlo Alberto · Ghislieri, Marco · y 6 más

Postural instability is a major source of disability in Parkinson’s disease, as impaired balance increases fall risk and accelerates loss of independence in daily life. In clinical practice, instability is commonly assessed through the pull test during outpatient visits. However, this task is difficult to replicate in...

Garantire l'accessibilità culturale al Castello del Valentino. Un Piano di Eliminazione delle Barriere Architettoniche, digitali, cognitive

Beltramino, Giulia · Bosia, Daniela · De Giorgi, Claudia

In un’epoca in cui l’architettura è chiamata a riscoprire la propria vocazione sociale, l’accessibilità al patrimonio culturale evolve da mero obbligo normativo a prerequisito essenziale di democrazia culturale. Il presente contributo illustra il percorso di redazione del Piano per l’Eliminazione delle Barriere Archi...

Biomimetic functionalisation to promote fast endothelialisation of bioabsorbable stents

CHIONO, VALERIA · CARMAGNOLA, IRENE · Ortiz, Rocio · Quintana, Iban · y 9 más

Evaluating LLM-Based Goal Extraction in Requirements Engineering: Prompting Strategies and Their Limitations

Anna Arnaudo · Riccardo Coppola · Maurizio Morisio · Andrea Bioddo · y 2 más

Due to the textual and repetitive nature of many Requirements Engineering (RE) artefacts, Large Language Models (LLMs) have proven useful to automate their generation and processing. In this paper, we discuss a possible approach for automating the Goal-Oriented Requirements Engineering (GORE) process by extracting func...

FPGA Implementation of DWT EEG Data Compression for Wireless Body Sensor Networks

BADAWY, AHMED MOHAMED HABELROMAN B M · Massudi, Mahmuddin · Tarek, Elfouly · Amr, Mohamed · y 1 más

Reimagining Urban Fabric: Formal Analogies Between Informal Settlements and Ottoman Mahalle

Gungor, Ezgi Nur

An intriguing formal analogy emerges when comparing the urban fabric of late Ottoman mahalle (residential neighborhood) with the contemporary informal settlements of 21st-century Ankara on urban scale. Despite both embodying a form of organic development, they diverge significantly in terms of urban continuity. While t...

La marcia dei quarantamila e la scomparsa della fabbrica: Il ruolo dell’architettura nell’immagine aziendale Fiat

Giacomo Girocchi

The paper aims to analyze the role of architecture in communicating the Fiat corporate image. The first Fiat corporate image manual of 1976 is compared with the media coverage of the “marcia dei quarantamila”, to search for the overlap between the communicated and the perceived. The study aims to highlight - between 19...