This paper presents the co-design and design evaluation of Sbocciamo Torino civic tool, which helps understand and act upon the issues of youth deviance in the Italian city of Turin through multi-stakeholder collaboration and collaborative data analysis. Rooted in research through design and participatory design methodologies, the civic tool integrates a data dashboard, stakeholder committee, and structured co-design sessions to facilitate collaborative analysis and intervention planning. The civic tool was developed in partnership with municipal authorities, law enforcement, NGOs, and social services, and reflects their institutional priorities while centering community knowledge. We describe the iterative co-design process, including stakeholder workshops for design, validation, training, and evaluation. The civic tool's impact on stakeholder trust, collaboration, and decision-making was assessed through surveys and open-ended questionnaires. Our findings show that stakeholders valued the inclusive design approach and data-driven collaboration while revealing barriers in communication, data literacy, and operational coordination. Furthermore, political and institutional support w
DNA traces in the Shroud of Turin reveal a remarkable mixture of human lineages, microbes, plants, animals, and coral accumulated through centuries of handling and travel。 The findings do not prove its age or authenticity, but they expose a hidden biological history preserved in the famous cloth
NASA’s Psyche spacecraft aced its Mars flyby, using the planet’s gravity to speed toward its 2029 encounter with a metal-rich asteroid。 The spacecraft tested its cameras, magnetometer, and particle-detecting instruments, capturing unusual views of Mars and measuring its magnetic environment。 It also detected neutrons from the planet and spotted the
SWELTO -- Space WEather Laboratory in Turin Observatory is a conceptual framework where new ideas for the analysis of space-based and ground-based data are developed and tested. The input data are (but not limited to) remote sensing observations (EUV images of the solar disk, Visible Light coronagraphic images, radio dynamic spectra, etc...), in situ plasma measurements (interplanetary plasma density, velocity, magnetic field, etc...), as well as measurements acquired by local sensors and detectors (radio antenna, fluxgate magnetometer, full-sky cameras, located in OATo). The output products are automatic identification, tracking, and monitoring of solar stationary and dynamic features near the Sun (coronal holes, active regions, coronal mass ejections, etc...), and in the interplanetary medium (shocks, plasmoids, corotating interaction regions, etc...), as well as reconstructions of the interplanetary medium where solar disturbances may propagate from the Sun to the Earth and beyond. These are based both on empirical models and numerical MHD simulations. The aim of SWELTO is not only to test new data analysis methods for future application for Space Weather monitoring and predicti
Phillips and Hedges suggested, in the scientific magazine Nature (1989), that neutron radiation could be liable of a wrong radiocarbon dating, while proton radiation could be responsible of the Shroud body image formation. On the other hand, no plausible physical reason has been proposed so far to explain the radiation source origin, and its effects on the linen fibres. However, some recent studies, carried out by the first author and his Team at the Laboratory of Fracture Mechanics of the Politecnico di Torino, found that it is possible to generate neutron emissions from very brittle rock specimens in compression through piezonuclear fission reactions. Analogously, neutron flux increments, in correspondence to seismic activity, should be a result of the same reactions. A group of Russian scientists measured a neutron flux exceeding the background level by three orders of magnitude in correspondence to rather appreciable earthquakes (4th degree in Richter Scale). The authors consider the possibility that neutron emissions by earthquakes could have induced the image formation on Shroud linen fibres, trough thermal neutron capture by Nitrogen nuclei, and provided a wrong radiocarbon
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April 11, 2026, as a satellite event of ETAPS, the European Joint Conferences on Theory and Practice of Software. PLACES offers a forum for exchanging new ideas on how to address the challenges of concurrent and distributed programming and how to improve the foundations of modern and future computer applications. PLACES welcomes researchers from various fields, and its topics include the design of new programming languages, models for concurrent and distributed systems, type systems, program verification, and applications in various areas (e.g., microservices, sensor networks, blockchains, event processing, business process management).
Aggregate Programming (AP) is a paradigm for programming the collective behaviour of sets of distributed devices, possibly situated at the network far edge, by relying on asynchronous proximity-based interactions. The eXchange Calculus (XC), a recently proposed foundational model for AP, is essentially a typed lambda calculus extended with an operator (the exchange operator) providing an implicit communication mechanism between neighbour devices. This paper provides a gentle introduction to XC and to its implementation as a C++ library, called FCPP. The FCPP library and toolchain has been mainly developed at the Department of Computer Science of the University of Turin, where Stefano Berardi spent most of his academic career conducting outstanding research about logical foundation of computer science and transmitting his passion for research to students and young researchers, often exploiting typed lambda calculi. An FCCP program is essentially a typed lambda term, and FCPP has been used to write code that has been deployed on devices at the far edge of the network, including rovers and (soon) Uncrewed Aerial Vehicles (UAVs); hence the title of the paper.
In this paper we: (1) propose Lightweight C (LC), namely a core calculus that formalizes a proper subset of the ANSI C without preprocessor directives; (2) define Colored LC (CLC), namely LC endowed with ANSI C preprocessor directives; and (3) define a type system for CLC that guarantees that all programs to be generated by the C preprocessor are well-typed C programs. We believe that the simple formalization provided by CLC could be useful also for teaching purposes. Stefano Berardi spent most of his academic career at the Department of Computer Science of the University of Turin, where he conducts outstanding research on the logical foundations of computer science and on type-based program analyses. Over the years, he taught many courses, from BSc courses on programming with C to PhD courses on program analysis. Therefore, this paper fully falls within Stefano Berardi's research and teaching activities.
In the early-stage design of advanced electronic packages, designers face a critical trade-off between simulation fidelity and computational turnaround time. Conventional early-stage methodologies typically achieve speed by relying on steady-state assumptions and structural homogenization. While computationally efficient, these approximations fundamentally fail to capture dynamic thermal events and stress concentrations at fine-grained internal interfaces, effectively masking failure mechanisms driven by transient signal bursts. In this work, we present a GPU-accelerated transient coupled Electromagnetic-Thermal-Mechanical solver that resolves this bottleneck. The proposed solver enables full-scale, non-homogenized, time-domain simulation of large-scale packages with runtimes amenable for rapid design iteration. Simulation of a NEC SX-Aurora TSUBASA package demonstrates that the tool allows for the identification of signal-induced adiabatic stress that is typically invisible to steady-state and homogenized baselines. This capability brings sign-off level physics fidelity to the early design phase, facilitating the prevention of costly late-stage design failures and broader transien
This note is the transcription of an interview with Professor Luigi Rodino, on the occasion of the ISAAC-ICMAM Conference of Analysis in Developing Countries (December 2, 2024 - Bogotà), that was dedicated to him. Luigi Rodino is at present Emeritus Professor at the University of Turin, and a member of the Accademia delle Scienze di Torino.
There are still many museums that present accessibility barriers, particularly regarding perceptual, cultural, and cognitive aspects. This is especially evident in low-density population areas. The aim of the ROBSO-PM project is to improve the accessibility of small museums through the use of social robots and social telepresence robots, focusing on three museums as case studies: the Museum of the Holy Shroud in Turin, a small but globally known institution, and two lesser known mountain museums: the Museum of the Champlas du Col Carnival and the Pragelato Museum of Alpine Peoples' Costumes and Traditions. The project explores two main applications for robots: as guides supporting inclusive visits for foreign or disabled visitors, and as telepresence tools allowing people with limited mobility to access museums remotely. From a research perspective, key topics include storytelling, robot personality, empathy, personalization, and, in the case of telepresence, collaboration between the robot and the person, with clearly defined roles and autonomy.
Urban heat islands, defined as specific zones exhibiting substantially higher temperatures than their immediate environs, pose significant threats to environmental sustainability and public health. This study introduces a novel machine-learning model that amalgamates data from the Sentinel-3 satellite, meteorological predictions, and additional remote sensing inputs. The primary aim is to generate detailed spatiotemporal maps that forecast the peak temperatures within a 24-hour period in Turin. Experimental results validate the model's proficiency in predicting temperature patterns, achieving a Mean Absolute Error (MAE) of 2.09 degrees Celsius for the year 2023 at a resolution of 20 meters per pixel, thereby enriching our knowledge of urban climatic behavior. This investigation enhances the understanding of urban microclimates, emphasizing the importance of cross-disciplinary data integration, and laying the groundwork for informed policy-making aimed at alleviating the negative impacts of extreme urban temperatures.
Tele-operated Driving (ToD) is a challenging use case for mobile network operators. Video captured by the built-in vehicle cameras must be streamed meeting a latency requirement of 5 ms with a 99.999% reliability. Although 5G offers high bandwidth, ultra-low latencies and high reliability; ToD service requirements are violated due to bad channel conditions. Ignoring the channel state may lead to over-estimate the number of ToD vehicles that can meet the service requirements, hence comprising the vehicle security. To fill this gap, in this letter we propose TOVAC, an algorithm that guarantees ToD service requirements by taking adequate admission control and routing decisions. This is achieved by using a channel-based capacity graph that determines the maximum number of vehicles that can be tele-operated in any road section. We evaluate TOVAC considering cellular deployments from Turin and show that, unlike a state of the art solution, TOVAC guarantees the ToD service requirements.
CHEOPS is a space telescope specifically designed to monitor transiting exoplanets orbiting bright stars. In September 2023, CHEOPS completed its nominal mission and remains in excellent operational conditions. The mission has been extended until the end of 2026. Scientific and instrumental data have been collected throughout in-orbit commissioning and nominal operations, enabling a comprehensive analysis of the mission's performance. In this article, we present the results of this analysis with a twofold goal. First, we aim to inform the scientific community about the present status of the mission and what can be expected as the instrument ages. Secondly, we intend for this publication to serve as a legacy document for future missions, providing insights and lessons learned from the successful operation of CHEOPS. To evaluate the instrument performance in flight, we developed a comprehensive monitoring and characterisation programme. It consists of dedicated observations that allow us to characterise the instrument's response. In addition to the standard collection of nominal science and housekeeping data, these observations provide input for detecting, modelling, and correcting i
In this paper we present a Networked Music Performance system currently under development at Politecnico di Torino. We demonstrate its use in a distributed concert held in June 2023, which featured three musicians in Turin (Italy) and three musicians in Wrocław (Poland). Although in its early stages, the system proved to be already stable enough to appear transparent to the remote audience.
The paper considers a slightly modified one-dimensional infinite mass-in-mass chain. In the case of the long-wave approximation, which corresponds to the transition to a continuous medium, we obtained a system of two equations, which is a generalization of the classical mechanics Klein-Gordon-Fock equation and has both optical and acoustic branches of the dispersion relation. Based on this classical mechanics system of equations, we have proposed a system of two relativistic quantum mechanics equations, which is a generalization of the relativistic quantum mechanics Klein-Gordon-Fock equation. Next, based on this system and following the Dirac approach, we have proposed the generalization of the Dirac equation for a free electron with an eight-component wave function in the form of a system of eight linear partial differential equations of the first order. Unlike the Dirac equation with a four-component wave function, which has only an optical branch of the dispersion relation, the generalized Dirac equation has both optical and acoustic branches of the dispersion relation, each of which has two branches with positive and negative energies, respectively. We have calculated phase an
The Focusing Optics X-ray Solar Imager (FOXSI) sounding rocket payload flew for the second time on 2014 December 11. To enable direct Hard X-Ray (HXR) imaging spectroscopy, FOXSI makes use of grazing-incidence replicated focusing optics combined with fine-pitch solid-state detectors. FOXSI's first flight provided the first HXR focused images of the Sun. For FOXSI's second flight several updates were made to the instrument including updating the optics and detectors as well as adding a new Solar Aspect and Alignment System (SAAS). This paper provides an overview of these updates as well as a discussion of their measured performance.
The work presented in this paper was carried out in the context of the project Girls and boys: one day at university promoted by the City of Turin together with the University of Turin. We were responsible for two educational activities on robotics and coding hosted at the Computer Science Department, which made one of its laboratories available for this kind of lesson. At the conclusion of the lab's sessions, children compiled the Attribution of Mental State (AMS) questionnaire, which is a measure of mental states that participants attribute to robots, namely the user's perception of the robot's mental qualities as compared to humans. We distributed the questionnaires both to children attending the educational robotics lab and to children performing coding activities. Results show that the first group attributed higher mental qualities to the robots, compared to the attribution given by children that did not have a direct experience with a robot.
These are the lecture notes of the introductory String Theory course held by one of the authors for the master program of Theoretical Physics at Turin University. The world-sheet approach to String Theory is pedagogically introduced in the framework of the bosonic string and of the superstring.
Technological advances have paved the way for collecting high-resolution network data in basketball, football, and other team-based sports. Such data consist of interactions among players of competing teams indexed by space and time. High-resolution network data are vital to understanding and predicting the performance of teams, because the performance of a team is more than the sum of the strengths of its individual players: Whether a collection of players forms a strong team depends on the strength of the individual players as well as the interactions among the players. We introduce a continuous-time stochastic process as a model of interactions among players of competing teams indexed by space and time, discuss basic properties of the continuous-time stochastic process, and learn the stochastic process from high-resolution network data by pursuing a Bayesian approach. We present simulation results along with an application to Juventus Turin, Inter Milan, and other football clubs in the premier Italian soccer league.