Modeling and analysis of Railway Control Systems
Area Tematica: Software
This topic is related to the application of formal methods to model and analyze complex systems in in the field of railway control systems in order to improve transport outcomes such as transport safety, transport productivity, travel reliability. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards as the case of railway control systems.
Referente
Progetti
- HOPE Heritage of the People's Europe
- DELOS The Network of Excellence on Digital Libraries
- Ev2 Europeana v2.0
- EFG EFG - European Film Gateway
- THESAURUS TecnicHEe per I'Esplorazione Sottomarina Archeologica mediante I'Utilizzo di Bobot aUtonomi in Sciami
- RDA Europe 1.0 (iCORDI) Research Data Alliance Europe (International Collaboration on Research Data Infrastructure)
- iMarine Data e-Infrastructure Initiative for Fisheries Management and Conservation of Marine Living Resources
- GRDI2020 Towards a 10-Year Vision for Global Research Data Infrastructures
- DL.org Coordination Action on Digital Library Interoperability, Best Practices, and Modelling Foundations
- V-City The Virtual City
- Servface Servface
- 3D-COFORM Tools and Expertise for 3D Collection Formation
- INDIGO Innovative training and decision support for emergency operations
- DigiBIC The DigiBIC Creative Industries Network unites leaders in research, innovation, industry and finance in order to optimise deployment of new ICT-based cultural and memory preservation services
- contrail Open Computing Infrastructures for Elastic Services
- VENUS-C Virtual multidisciplinary EnviroNments USing Cloud infrastructures
- R2D2 Microsoft
- eCloud Europeana Cloud: Unlocking Europe’s Research via The Cloud
- RUBICON Robotics UBIquitous COgnitive Network
- EFG1914 EFG1914 - European Film Gateway 1914
- V-MusT.net Virtual Museum Transnational Network
- D4Science Distributed Collaboratories Infrastructure on Grid Enabled Technology for Science
- SMARCOS SMARCOS
- CHRONIOUS An Open, Ubiquitous and Adaptive Chronic Disease Management Platform for COPD and Renal Insufficiency
- VICE VIrtual Communities for Education
- SERENOA SERENOA
- OpenAIREplus 2nd-Generation Open Access Infrastructure for Research in Europe
- TwinTide Towards the Integration of Transectorial IT Design and Evaluation (COST Action - IC0904)
- D4Science II D4Science II - Data Infrastructures Ecosystem for Science
- CHOREOS Large Scale Choreographies for the Future Internet
- OPEN OPEN
- VISITO Tuscany VISITO Tuscany
- InGeoCloudS INspired GEOdata CLOUD Services
- ICSI Intelligent Cooperative Sensing for Improved traffic efficiency
- DILIGENT A DIgital Library Infrastructure on Grid ENabled Technology
- BELIEF Bringing Europe's eLectronic Infrastructures to Expanding Frontiers
- ARROWS ARchaeological RObot systems for the World's Seas
- SAPIR Search on Audio-visual content using Peer-to-peer Information Retrieval
- CASPAR Cultural, Artistic and Scientific knowledge for Preservation, Access and Retrieval
- PRELIDA Preserving Linked Data
- OpenAIRE Open Access Infrastructure for Research in Europe
- EUBrazilOpenBio EUBrazilOpenBio - EU-Brazil Open Data and Cloud Computing e-Infrastructure for Biodiversity
- CONNECT Emergent Connectors for Eternal Software Intensive networked Systems
- NESSOS Network of Excellence on Engineering Secure Future Internet Software
- ENVRI Common Operations of Environmental Research Infrastructures
- TAS3 Trusted Architecture for Securely Shared Services
- EAGLE Europeana network of Ancient Greek and Latin Epigraphy
- PRESTO4U European Technology for Digital Audiovisual Media Preservation
- SO MAIN Sottosistemi e materiali innovativi per la gestione integrata del ciclo di vita delle unità da diporto
- ARGOMARINE Automatic oil-spill Recognition and GeO positioning integrated in a MARine monitoring NEtwork
- NeP4B Networked Peers for Business
- ASCENS Autonomic Service-Component Ensembles
- TRACE-IT Train Control Enhancement via Information Technology
- universAAL UNIVERsal open platform and reference Specification for Ambient Assisted Living
- Giraff+ Combing social interaction and long term monitoring for promoting independent living
- ReAAL make it ReAAL
- ENGAGED European Network Group for Ageing Well and its Deployment
- QUANTICOL A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours
- ITACA Innovative Tools for cultural heritage ArChiving and restorAtion
- SmartC2Net Smart Control of Energy Distribution Grids over Heterogeneous Communication Networks
- TENACE Protezione delle Infrastrutture Critiche Nazionali da Minacce Cibernetiche
- ENABLE Enable Network of ICT Supported Learning for Disabled People
- RIS Ricerca e Innovazione in ambito Socio sanitario
- SECURE! Piattaforma intelligente basata su tecnologie crowdcourcing e croudsensing per la sicurezza e la gestione delle crisi ed emergenze
- MIDAS Model and Inference Driven, Automated testing of Services architectures
- Smart HealthyENV Smart Monitoring Integrated System for a Healthy Urban ENVironment in Smart Cities
- 3D-ICONS 3D Digitisation of Icons of European Architectural and Archaeological Heritage
- DANTE Per una Enciclopedia Dantesca Digitale
- CINA Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura
- LIFT Using Local Inference in Massively Distributed Systems
- SEEK Semantic Enrichment of trajectory Knowledge discovery
- HCN Healthcare Collaborative Network
- ARIADNE Advanced Research Infrastructure for Archaeological Dataset Networking in Europe
- Harvest4D Harvesting Dynamic 3D Worlds from Commodity Sensor Clouds
- ABCD SW ABCD SW
- S&TDL Science & Technology Digital Library
- RDA Europe 2.0 RDA Europe – the European plug-in to the global Research Data Alliance (RDA)
- Hybrid Test Hybrid Test
- DOREMI Decrease of cOgnitive decline, malnutRition and sedEntariness by elderly empowerment in lifestyle Management and social Inclusion
- Learn PAd Model-Based Learning for Public Administrations
- Test Monteore Test Monteore
- VASCO a Virtual Studio for Security Concepts and Operations
- Data Sim Data Science for Simulating the Era of Electric Vehicles
- SIMPLE Sicurezza ferroviaria e Infrastruttura per la Mobilità applicate ai Passaggi a LivEllo
- MobiWallet Mobility and Transport Digital Wallet
- OpenAIRE2020 Open Access Infrastructure for Research in Europe 2020
- SEMEOTICONS SEMEiotic Oriented Technology for Individual’s CardiOmetabolic risk
- Europeana v3.0 Europeana v3.0
- FONDAZIONE CON IL SUD Biosensori piezoelettrici a risposta in tempo reale per applicazioni ambientali e agro-alimentari
- e-SHS L’ICT per la salute e la solidarietà sociale
- TIK The Interaction Toolkit
- HII Street Smart Retail High Impact Initiative Street Smart Retail
- MONSTER Monitoraggio strutturale di edifici storici con tecnologie wireless e strumenti di calcolo innovativi
- FABBRICA DEL FUTURO - SEDC Sistemi di monitoraggio adattivi a supporto di processi produttivi riconfigurabili
- FABBRICA DEL FUTURO - WNLAB Reti Pervasive nelle Fabbriche del Futuro
- MISURATORI FISCALI Misuratori Fiscali
- VCS_ASCRIBE2 LanguageLogic_VCS_Ascribe2
- EGUAGLIANZA EGUAGLIANZA NEI DIRITTI FONDAMENTALI NELLA CRISI DELLO STATO E DELLE FINANZE PUBBLICHE
- Big Data For Smart Energy Big Data For Smart Energy
- CDF4EM City Data Fusion for Event Management
- CLD HII Trusted Data Management with Service Ecosystem
- Petra Personal Transport Advisor: an integrated platform of mobility patterns for Smart Cities to enable demand-adaptive transportation systems
- ARS-TECHNOMEDIA Algoritmica delle Reti Sociali Tecno-Mediate
- MOTUS Mobility and Tourism in Urban Scenarios
- ARIANNA ARIANNA
- SOCIALIZE Service OrIented Assisted Living InfrastucturE
- DIITET- Sostenibilità Energetica Energia da Fonti Rinnovabili e ICT per la Sostenibilità Energetica
- MIE Mobilità Intelligente Ecosostenibile
- AA@H Active Ageing at Home
- PRIN 2010-2011 PRIN 2010-2011
- WB@Lucca Well-Being@Lucca
- Cimplex "Bringing CItizens, Models and Data together in Participatory, Interactive SociaL Exploratories"
- ASAP An Adaptive, highly Scalable Analytics Platform
- Easy Rider Easy Rider
- ASI/BALLOONS Stratospheric Balloons and Alternative Means for Space Access
- FABBRICA DEL FUTURO - HIIS Interfacce Utente adattative e multimodali per migliorare l'usabilità e la sicurezza negli ambienti di lavoro
- ESA/MEO Disposal Strategies Analysis for MEO Orbits
- IUDSM Interfacce Utente Distribuite e Sicurezza Mobile
- ESA/FRAG Fragmentation Consequence Analysis in LEO and GEO
- VIRTUOSO Un osservatore sanitario virtuale per la prevenzione di malattie cardio-metaboliche nella pratica di attività fitness & wellness nei centri turistici
- LARASE Laser Ranged Satellites Experiment
- SI DO RE MI Sistema Domiciliare di Rieducazione Espressiva del Movimento e dell'Interazione
- RDA Europe 3.0 RDA Europe – the European plug-in to the global Research Data Alliance (RDA)
- EGI-Engage Engaging the EGI Community towards an Open Science Commons
- SatNEx IV Satellite Network of Experts IV
- ENVRI PLUS Environmental Research Infrastructures Providing Shared Solutions for Science and Society
- BlueBRIDGE Building Research environments for fostering Innovation, Decision making, Governance and Education to support Blue growth
- PARTHENOS Pooling Activities, Resources and Tools for Heritage E-research Networking, Optimization and Synergies
- VRE4EIC A Europe-wide Interoperable Virtual Research Environment to Empower Multidisciplinary Research Communities and Accelerate Innovation and Collaboration
- SD&SST DETRITI SPAZIALI - SUPPORTO ALLE ATTIVITA IADC E VALIDAZIONE PRE-OPERATIV A PER SST
- PersonAAL Mobile Accessibility of Personalized Web Application to Improve Remote Care for Older Adults
- SoBigData Social Mining and Big Data Ecosystem
- MOSCARDO Tecnologie ICT per il MOnitoraggio Strutturale di Costruzioni Antiche basato su Reti di sensori wireless e DrOni
- SELFIE Sistema di Elementi avanzati multi Layer basato su superFici e materiali Innovativi nanostrutturati per una Edilizia sostenibile ed energeticamente efficiente
- SEMI Sistema Espressivo Multicanale Interattivo
- BASMATI Cloud Brokerage Across Borders for Mobile Users and Applications
- CRAIM CRAIM - Centro di Ricerca per l'Analisi delle Informazioni Multimediali
- Smart News Social Sensing for breakingnews
- TRIGGER Realizzazione Women Scientis Career Database
- OpenAIRE-Connect OpenAIRE - CONNECTing scientific results in support of Open Science
- AGINFRA PLUS Accelerating user-driven e-infrastructure innovation in Food Agriculture
- eInfraCentral eInfraCentral - European E-Infrastructure Services Gateway
- INTESA Servizi Ict iNTegrati per il bEnessere di Soggetti frAgili
- SCIADRO SCIAme di DROni
- OpenUP OPENing UP new methods, indicators and tools for peer review, impact measurement and dissemination of research results
- SMARTPARK@LUCCA SmartPark@Lucca
- ArchAIDE ArchAIDE – Archaeological Automatic Interpretation and Documentation of cEramics
- SocializeME SocializeME, un un progetto di cooperazione tra enti di ricerca e scuole superiori
- TITANIO Sensori innovaTIvi per il moniTorAggio del patrimoNIO architettonico
- MIE (F) Mobilità Intelligente Ecosostenibile
- EOSCpilot The European Open Science Cloud for Research Pilot Project.
- DSurf DSurf: Scalable Computational Methods for 3D Printing Surfaces
- ACTIVAGE ACTivating InnoVative IoT smart living environments for AGEing well
- ElasTest ElasTest: an elastic platform for testing complex distributed large software systems
- GAUSS Governing Adaptive and Unplanned Systems of Systems
- EMOTIVE Emotive Virtual cultural Experiences through personalized storytelling
- FITS.ME FITS.ME
- SIGS Sistema integrato geotermico solare di riscaldamento e raffrescamento in logica smart grid
- PerformFISH Consumer driven Production: Integrating Innovative Approaches for Competitive and Sustainable Performance across the Mediterranean Aquaculture Value Chain
- LIGA Large-scale Indie Gaming Analytics
- OpenAIRE-Advance OpenAIRE Advancing Open Scholarship
- Data4Impact Big DATA approaches FOR improved monitoring of research and innovation performance and assessment of the societal IMPACT in the Health, Demographic Change and Wellbeing Societal Challenge
- RDA Europe 4.0 RDA Europe – the European plug-in to the global Research Data Alliance (RDA)
- HAMLET Hardware Acceleration of Machine LEarning Tasks
- WADcher Web Accessibility Directive Decision Support Environment
- PETAL PErsonalizable assisTive Ambient monitoring and Lighting
- E-RIHS PP AIMH Lab The European Research Infrastructure for Heritage Science Preparatory Phase
- NESTORE Novel Empowering Solutions and Technologies for Older people to Retain Everyday life activities
- ADA R&S 2017 Automatic Data and Documents Analysis to Enhance Human-based Processes
- IRIDE Sviluppo di una linea intelligente per il converting della carta tissue: le tecnologie ICT al servizio dell'advanced automation
- APIC Ambienti di Personalizzazione per applicazioni di Internet delle cose nel settore Cartario
- ASTRail SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation
- MASTER Multiple Aspects Trajectory management and Analysis
- CompTo-NM CompTo-NM
- ADA - Accordo Progetto di Adattamento Domestico per l'autonomia personale
- BigDataGrapes Big Data to Enable Global Disruption of the Grapevine-powered industries
- PRO-RES PROmoting Integrity in the use of RESearch Results
- Track and Know Big Data for Mobility Tracking Knowledge Extraction in Urban Areas
- STINGRAY SmarT station INtelliGent RAilwaY
- KI-FOOT Calzatura sensorizzata per l'analisi del cammino
- ARIADNEplus Castelli Advanced Research Infrastructure for Archaeological Data Networking in Europe - plus
- RISIS 2 European Research Infrastructure for Science, technology and Innovation policy Studies 2
- Mingei Representation and Preservation of Heritage Crafts
- EVOCATION Advanced Visual and Geometric Computing for 3D Capture, Display, and Fabrication
- ARIADNEplus Meghini Advanced Research Infrastructure for Archaeological Dataset Networking in Europe - plus
- DESIRA InfraScience Digitisation: Economic and Social Impacts in Rural Areas
- NILSME Experimentation of the new Sentinel missions for the observation of inland water bodies on the course of the Nile river
- ENCORE ENergy aware BIM Cloud Platform in a COst-effective Building REnovation Context
- EOSCsecretariat.eu EOSCsecretariat.eu - Setup and management of the EOSC Secretariat supporting the EOSC Governance
- EMPATHY Empowering People in Dealing with Internet of Things Ecosystems
- EOSC-Pillar Coordination and Harmonisation of National Initiatives, Infrastructures and DataServices in Central and Western Europe
- OK-INSAID (HPC) Operational Knowledge from Insights and Analytics on Industrial Data
- DESIRA Digitisation: Economic and Social Impacts in Rural Areas
- SSHOC Social Sciences & Humanities Open Cloud
- COVR Being safe around collaborative and versatile robots in shared spaces
- LODLNB L'ora di lezione non basta
- CYBERSEC4EUROPE Cyber Security Network of Competence Centres for Europe
- AI4EU AI4EU - A European AI On Demand Platform and Ecosystem
- CultMEDIA_VCLab Servizi intelligenti basati su machine-learning per il recupero di documenti multimediali per post-produzione video a costo ridotto e storytelling cross-mediale su beni culturali
- Blue Cloud Blue-Cloud: Piloting innovative services for Marine Research & the Blue Economy
- EV-CHIP Electric Vehicles Charging Platform for Community Demand Response Aggregators
- XAI Science and technology for the explanation of AI decision making
- Accordo Attuativo IRPET 2019 Accordo Attuativo IRPET 2019
- ACCORDION Adaptive edge/cloud compute and network continuum over a heterogeneous sparse edge infrastructure to support nextgen applications
- TEACHING A computing toolkit for building efficient autonomousapplications leveraging humanistic intelligence
- TIGHT Tactile InteGration for Humans and arTificial systems
- IT MATTERS Methods and Tools for Trustworthy Smart Systems
- PlatformUptake.eu ASSESSING THE STATE OF ART AND SUPPORTING AN EVIDENCE-BASED UPTAKE AND EVOLUTION OF OPEN SERVICE PLATFORMS IN THE ACTIVE AND HEALTHY AGEING DOMAIN
- IMAGO Index Medii Aevi Geographiae Operum
- SoBigData++ SoBigData++: European Integrated Infrastructure for Social Mining and Big Data Analytics’ — ‘SoBigData-PlusPlus’
- ARTES 4.0 Advanced Robotics and enabling digital Technologies & Systems 4.0
- I-GENE In-vivo Gene Editing by NanotransducErs
- MOVING Mountain Valorization through Interconnectedness and Green Growth
- SOUL Sismologia urbana nel centro storico di Lucca
- HumMingBird Enhanced migration measures from a multidimensional perspective
- VERO-CNR4C VERO-CNR4C
- SoBigData++ HPC HPC chapter of SoBigData++
- TAILOR (KDD) Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization
- HumanE-AI-Net HumanE AI Network
- LeADS Legality Attentive Data Scientists
- NAUTILOS New Approach to Underwater Technologies for Innovative, Low-cost Ocean obServation
- SD-IADC-SST-2 Detriti Spaziali – Supporto alle attività IADC e SST
- OpenAIRE Nexus OpenAIRE-Nexus Scholarly Communication Services for EOSC users
- BIECO Building Trust in Ecosystems and Ecosystem Components
- EOSC Future EOSC Future
- ProCAncer-I An AI Platform integrating imaging data and models, supporting precision care through prostate cancer’s continuum
- AI4Media A European Excellence Centre for Media, Society and Democracy
- NAVIGATOR An Imaging Biobank to Precisely Prevent and Predict cancer, and facilitate the Participation of oncologic patients to Diagnosis and Treatment
- SoBigData++ (AIMH) Social Mining and Big Data ++
- TAILOR (InfraScience) Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization
- E-RIHS VCLab European Research Infrastructure for Heritage Science
- IDEHA Innovazioni per l'elaborazione dei dati nel settore del Patrimonio Culturale
- 4SECURAIL FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR
- EFG-DSI4-2 EFG-DSI4-2
- CHARITY Cloud for Holography and Cross Reality
- SNAPSHOT Synoptic assessment of human pressures on key mediterranean hot spot
- RESISTO Recupero di Sistemi Informativi STOrico-artistici per una rinnovata comunicazione del patrimonio
- MedicalWasteTreating4.0 Sistema innovativo automatizzato per il trattamento e la nobilitazione dei rifiuti sanitari in chiave End of Waste
- SPaCe Smart Passenger Center
- TiAssisto Soluzioni per il monitoraggio clinico di pazienti in isolamento fiduciario a domicilio positivi al test per Covid-19 con associate o meno patologie croniche e situazioni di fragilità
- Smart Converting 4.0 L’intelligenza artificiale al servizio dell’automazione avanzata, dell’integrazione e dell’advanced safety delle linee di converting del tissue e del nonwoven: lo smart converting 4.0
- NAUSICAA NAUtical Safety by means of Integrated Computer-Assisted Appliances 4.0
- ChAALenge ChAALenge
- PRAMA Proteomics, RAdiomics & Machine learning-integrated strategy for precision medicine for Alzheimer’s
- EXTENSION “EXTENSION - nEXt generaTion augmENted reality touriSm enhancIng cultural heritage preservation”
- OSIRIS - FO Optical/SAR data and System Integration for Rush Identification of Ship models
- OPTIMISED Creazione di un percorso ottimizzato per il flusso dei dati e la gestione del paziente con quadro clinico e radiologico compatibile con COVID-19
- MobiDataLab Labs for prototyping future Mobility Data sharing cloud solutions
- LIFE DeMo Low Impact Fully Enanched Design Modeling (for Modern Housing)
- MOODWISE Monitoraggio dinamico di ponti mediante reti di sensori wireless
- EcoScope Ecocentric management for sustainable fisheries and healthy marine ecosystems
- SmaRIERS Smart Railway Infrastructures: Efficiency, Reliability and Safety
- SoBigData++ IIT-UI SoBigData++: European Integrated Infrastructure for Social Mining and Big Data Analytics’ — ‘SoBigData-PlusPlus’
- SoBigData++ IIT-CI SoBigData++: European Integrated Infrastructure for Social Mining and Big Data Analytics’ — ‘SoBigData-PlusPlus’
- RTOD Real-Time Object Detection mediante Machine Learning basato su tecnologia Low-Power GPU
- RosS-BMP Ross Sea Benthic Monitoring Programma: new non-destructive and machine-learning approaches for the analysis of benthos patterns and dynamics
- SERENI SERious gamEs con robot umanoidi per stimolare abilità cogNIitive e sociali negli anziani
- Virus Memory Virus Memory - SergenCovid19 (FOE 2020)
- REVOLUTION open-source platform oriented toward digital twins: 3D digitization techniques, vibration monitoring, finite element models for evaluating the conservation of historical buildings and infrastructures
- PNRR-AGID SISTEMA PER IL MONITORAGGIO DELL’ACCESSIBILITA’ DEI SITI WEB
- STRENGTH Structural health monitoring di costruzioni storiche e infrastrutture
- FAIRCORE4EOSC Core Components Supporting a FAIR EOSC
- D4Science D4Science Infrastructure
- Blue Cloud 2026 A federated European FAIR and Open Research Ecosystem for oceans, seas, coastal and inland waters
- CRAFT-OA Creating a Robust Accessible Federated Technology for Open Access
- T-LADIES Typeful Language Adaptation for Dynamic, Interacting and Evolving System
- SoBigData RI PPP SoBigData RI Preparatory Phase Project
- CODECS Maximising the CO-benefits of agricultural Digitalisation through conducive digital ECoSystems
- Skills4EOSC Skills for the European Open Science Commons: Creating a Training Ecosystem for Open and FAIR Science
- SUN Social and hUman ceNtered XR (SUN)
- PE11 MICS Spoke1 - B53C22004100001 PE11 - MICS (3A-ITALY) - Circular and sustainable Made in Italy Spoke1
- PE01_FAIR_Spoke8_VC -B53C22003630006 PE01 - Future Artificial Intelligence Research - Spoke 8
- FOSSR - CUP B83C22003950001 FOSSR - Fostering Open Science in Social Science Research
- CN_CNMS_Spoke4_FMT - CUP B43C22000440001 CN - Sustainable Mobility Center (Centro Nazionale per la Mobilità Sostenibile – CNMS)
- SoBigData.it - CUP B53C22001760006 SoBigData.it: Strengthening the Italian RI for Social Mining and Big Data Analytics
- H2IOSC - CUP B63C22000730005 HUMANITIES AND CULTURAL HERITAGE ITALIAN OPEN SCIENCE CLOUD
- Tuscany X.0 Tuscany EU Digital Innovation Hub
- PE01_FAIR_Spoke1_KDD -B53C22003630006 PE01 - Future Artificial Intelligence Research – Spoke 1
- CN_CNMS_Spoke3_KDD - CUP B43C22000440001 CN - Sustainable Mobility Center (Centro Nazionale per la Mobilità Sostenibile – CNMS) - Spoke 3
- CN_CNMS_Spoke6_AIMH- CUP B43C22000440001 CN - Sustainable Mobility Center (Centro Nazionale per la Mobilità Sostenibile – CNMS) Spoke 6
- PE05_CHANGES_Spoke5_VC -B53C22003890006 PE05 - Cultural Heritage Active Innovation for Next-Gen Sustainable Society Spoke 5
- ECS_THE_Spoke3_WN -CUP B83C22003930001 ECS - Tuscany Health Ecosystem Spoke 3
- ECS_THE_Spoke8_AIMH -CUP B83C22003930001 ECS - Tuscany Health Ecosystem Spoke 8 - Tuscany Health Environment
- PNRR NBFC National Biodiversity Future Center - Spoke 2
- PE07_SERICS_Spoke8_SEDC -B53C22003950001 PE07 - SERICS - Security and Rights in the CyberSpace Spoke 8
- PE07_SERICS_Spoke2_AIMH -B53C22003950001 PE07 - SERICS - Security and Rights in the CyberSpace Spoke 2
- PE07_SERICS_Spoke1_SEDC-B53C22003950001 PE07 - SERICS - Security and Rights in the CyberSpace Spoke 1
- PE08_Age-It_Spoke9_WN -.B83C22004880006 PE08 - Conseguenze e sfide dell'invecchiamento - AGE-IT Spoke 9
- ECS_THE_Spoke5_WN -CUP B83C22003930001 ECS - Tuscany Health Ecosystem Spoke 5
- TRANTOR 5G+ evoluTion to mutioRbitAl multibaNd neTwORks
- Green.Dat.AI Energy-efficient AI-ready Data Spaces
- CREXDATA Critical Action Planning over Extreme-Scale Data
- ITSERR - CUP: B53C22001770006 Italian Strengthening of Esfri RI Resilience (ITSERR)
- EFRA Extreme Food Risk Analytics
- EUCAIM EUropean Federation for CAncer IMages
- PE_RESTART_Spoke5_SEDC-B53C22003970001 RESTART_RESearch and innovation on future Telecommunications systems and networks, to make Italy more smART Spoke 5
- PE14_RESTART_Spoke2_WN-B53C22003970001 PE14 - RESTART - RESearch and innovation on future Telecommunications systems and networks, to make Italy more smART Spoke 2
- SAI Social Explainable Artificial Intelligence
- SAI Social Explainable Artificial Intelligence
- SoBigData RI PPP (HPC) SoBigData RI Preparatory Phase Project
- CRAEFT Craft Understanding, Education, Training, and Preservation for Posterity and Prosperity
- TANGO It takes two to tango: a synergistic approach to human-machine decision making
- URBAI Urban Artificial Intelligence
- ReefSurvAI ReefSurvAI: Towards a web-based AI infrastructure for coral reefs surveying
- EDGELESS Cognitive edge-cloud with serverless computing
- STENDHAL Spatio-temporal Enhancement of Neural Nets for Deeply Hierarchical Automatised Logic
- D4GNA D4GNA - Geoportale Nazionale per l’Archeologia
- ISTAR Attività tecnico-scientifiche di supporto a C-SSA/ISOC e simulazione di architetture di sensori per SST
- ATLAS The ATLAS of Italian Digital Humanities: a dynamic knowledge graph of digital scholarly research on Italian Cultural Heritage
- ASI-INAF SD-III Detriti spaziali e sostenibilità delle attività spaziali a lungo-termine
- AI-SAFETY AI-SAFETY: AI-Based Smart System for Operator Safety in Manufacturing Processes
- BRAILLET BRAILLET: a data-driven investigation into the cognitive demands of braille reading
- I_PAD Italian Performance Archive in Digital
- EUD4GSH End-User Development of Automations for Explainable Green Smart Homes
- ATRIUM - VCLab Advancing FronTier Research In the Arts and hUManities
- APURE Audiometry with pupil response
- AGRITECH EU Digital agriculture for sustainable development
- OPUS Open AI solutions for historical masonry annotation
- OSTrails Open Science Plan-Track-Assess Pathways
- EUD4XR End-User Development for eXtended Reality
- ECS_RAISE_Spoke5_B33C22000700006 ECS - Robotics and AI for Socio-economic Empowerment Spoke 5
- IRISCC IRISCC - Integrated Research Infrastructure Services for Climate Change risks
- REFLEX REFLectance EXploration: improving the acquisition, distribution, and exploration of multi-light image collections for surface characterization and analysis
- EUPHROSYNE Enhancing Underwater PHotogrammetRy, fluOreScence imagerY and deep learning solutions for monitoring the health status of mediterraNEan corals
- FAITH Fostering Artificial Intelligence Trust for Humans towards the optimization of trustworthiness through large-scale pilots in critical domains
- MUSIT MUlti-Sensor Inferred Trajectories
- HPCQS High Performance Computer and Quantum Simulator hybrid
- CircularEconomyCable CircularEconomyCable
- GUARDIANS Green, Utility, Accessibility, Resilience, Digital Integration, Ability, Nature, Sustainability
- SAGE SAGE
- DIGITAfrica DIGITAfrica, Towards a comprehensive pan-African research infrastructure in Digital Sciences
- IAIA Innovazione Aperta transfrontaliera: connessioni per startups e MPMI attraverso tool di Intelligenza Artificiale