Towards Expressive and Versatile Visualization-as-a-Service (VaaS)

The rapid growth of data in scientific visualization has posed significant challenges to the scalability and availability of interactive visualization tools. These challenges can be largely attributed to the limitations of traditional monolithic applications in handling large datasets and accommodating multiple users or devices. To address these issues, the Visualization-as-a-Service (VaaS) architecture has emerged as a promising solution. VaaS leverages cloud-based visualization capabilities to provide on-demand and cost-effective interactive visualization. Existing VaaS has been simplistic by design with focuses on task-parallelism with single-user-per-device tasks for predetermined visualizations. This dissertation aims to extend the capabilities of VaaS by exploring data-parallel visualization services with multi-device support and hypothesis-driven explorations. By incorporating stateful information and enabling dynamic computation, VaaS\u27 performance and flexibility for various real-world applications is improved. This dissertation explores the history of monolithic and VaaS architectures, the design and implementations of 3 new VaaS applications, and a final exploration of the future of VaaS. This research contributes to the advancement of interactive scientific visualization, addressing the challenges posed by large datasets and remote collaboration scenarios

W Boson Polarization Studies for Vector Boson Scattering at LHC: from Classical Approaches to Quantum Computing

The Large Hadron Collider (LHC) at the European Organization for Nuclear Research (CERN) has, in the recent years, delivered unprecedented high-energy proton-proton collisions that have been collected and studied by two multi-purpose experiments, ATLAS and CMS. In this thesis, we focus on one physics process in particular, the Vector Boson Scattering (VBS), which is one of the keys to probe the ElectroWeak sector of the Standard Model in the TeV regime and to shed light on the mechanism of ElectroWeak symmetry breaking. VBS measurement is extremely challenging, because of its low signal yields, complex final states and large backgrounds. Its understanding requires a coordinated effort of theorists and experimentalists, to explore all possible information about inclusive observables, kinematics and background isolation. The present work wants to contribute to Vector Boson Scattering studies by exploring the possibility to disentangle among W boson polarizations when analyzing a pure VBS sample. This work is organized as follows. In Chapter1, we overview the main concepts related to the Standard Model of particle physics. We introduce the VBS process from a theoretical perspective in Chapter2, underlying its role with respect to the known mechanism of ElectroWeak Symmetry Breaking. We emphasize the importance of regularizing the VBS amplitude by canceling divergences arising from longitudinally polarized vector bosons at high energy. In the same Chapter, we discuss strategies to explore how to identify the contribution of longitudinally polarized W bosons in the VBS process. We investigate the possibility to reconstruct the event kinematics and to thereby develop a technique that would efficiently discriminate between the longitudinal contribution and the rest of the participating processes in the VBS. In Chapter 3, we perform a Montecarlo generator comparison at different orders in perturbation theory, to explore the state-of-art of VBS Montecarlo programs and to provide suggestions and limits to the experimental community. In the last part of the same Chapter we provide an estimation of PDF uncertainty contribution to VBS observables. Chapter 4 introduces the phenomenological study of this work. We perform an extensive study on polarization fraction extraction and on reconstruction of the W boson reference frame. We first make use of traditional kinematic approaches, moving then to a Deep Learning strategy. Finally, in Chapter 5, we test a new technological paradigm, the Quantum Computer, to evaluate its potential in our case study and overall in the HEP sector. This work has been carried on in the framework of a PhD Executive project, in partnership between the University of Pavia and IBM Italia, and has therefore received supports from both the institutions. This work has been funded by the European Community via the COST Action VBSCan, created with the purpose of connecting all the main players involved in Vector Boson Scattering studies at hadron colliders, gathering a solid and multidisciplinary community and aiming at providing the worldwide phenomenological reference on this fundamental process

33èmes Journées Francophones des Langages Applicatifs

International audienceLes 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022.Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.- Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes.- Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique.- Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.- Spécification, prototypage, développements formels d'algorithmes.- Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement.- Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet

Proceedings of the 19th Sound and Music Computing Conference

Proceedings of the 19th Sound and Music Computing Conference - June 5-12, 2022 - Saint-Étienne (France). https://smc22.grame.f