Buscador de Tesis y publicaciones académicas

Taking Test Programs Connectivity to the Bit-Level

Andrea Calabrese

As System-on-Chips become more and more com- plex, a high fault coverage is becoming more difficult to achieve. As fault coverage is the de facto standard metric for testing, we aim for a faster heuristic for test evaluations. In particular, last year a faster heuristic known as connectivity was defined in ITC 2022 [1]...

Automated quality control by AI-driven visual inspection techniques in the food processing industry

Piovano, Alberto · Verna, Elisa · Genta, Gianfranco · Galetto, Maurizio

AI-driven visual inspection techniques in industrial food processing are critical for quality assurance and safety; therefore, the selection of the most suitable algorithm should be based on both operational and performance criteria. This study tests the convolutional neural network YOLOv8 on an industrial bakery datas...

On solving the closed-loop setpoint regulation problem for the replicator equation via nonlinear MPC

Giulia Brusadin · Michele Pagone · Lorenzo Zino · Alessandro Rizzo

We address the setpoint regulation problem in evolutionary game-theoretic dynamics within population games, aiming to design an algorithm that guides the population toward a desired collective behavior - particularly, an equilibrium point. In detail, we focus on a discrete-time replicator equation, which models the col...

SULLA BASE GEODETICA TORINO – RIVOLI e sul “GRADO TAURINENSE” ( 1760- 1764 )

SENA, Carmelo

Towards ISO 26262-compliant Vector Processors: Combining STLs and LBIST

Vilar de Farias,Gustavo · Kurada,Dwijesh · Abed,Sergiu-Mohamed · Guerrero-Balaguera,Juan-David · y 4 más

Vector Processing Units (VPUs) are increasingly integrated into safety-critical automotive SoCs to accelerate general-purpose and Machine Learning inference workloads, making their functional safety essential in compliance with ISO26262. This work explores the effectiveness of common safety mechanisms (SMs) for permane...

SROC: Space Rider Observer Cube Mission

Luca, Deva · Giorgio, Ammirante · Giorgio, Taiano · Enrico, Bassissi · y 14 más

The SROC project aims at demonstrating the CubeSat capabilities and technologies required for successfully executing a rendezvous and docking with another operational spacecraft. This objective is captured by the SROC mission concept involving the development of 12U CubeSat, which acting as Chaser, will perform rendezv...

La sfida dei territori a bassa intensità urbana: tra pianificazione strategica e processi di innovazione istituzionale nel progetto urbanistico.

Servillo Loris

L’emergere di un’attenzione politica ed accademica nei confronti dei territori a basso grado di urbanizzazione, o comunque strutturati su aree urbane di piccole e medie dimensioni, e spesso in relazione con il tema dei ‘territori che non contano’, sta iniziando a generare agende politiche sempre più strutturate con lo...

Teocracia o Demonocracia

Timoleón

Cediendo a muchas y respetables instancias, me he decidido a dar por segunda vez esta publicación a la estampa. Muéveme a esto el deseo y la esperanza de contribuir en mayor escala a desengañar a los hombres rectos y de buena voluntad, que el Liberalismo hubiere fascinado con sus seductoras ofertas.

Comparing Optimization Models for Radiotherapy Scheduling

Chiara Camilla Rambaldi Migliore · David Stanicel · Nysret Musliu · Giovanni Iacca · y 1 más

The Radiotherapy Scheduling Problem (RTSP) involves determining an optimal schedule for patients undergoing radiation treatments, a task that has a massive impact on clinical outcomes given the central role of radiotherapy in cancer care. The daily batch approach--which consists of scheduling all the newly arrived pati...

Ciencia y arte en los Ocios morales de Lucio Espinosa y Malo: un ejemplo de prosa epidíctica

Nider, Valentina