Logical Symbolic Methods for the Extraction of Rules and the Treatment of Information from Text in a Agentic Context: An Integrated Approach (80.960 Euros). Funded by the Italian region of Emilia Romagna in the context of the regional program 'Alte competenze' (Project leader)
Methodological Developments in Modal Geometric Symbolic Learning (3109 Euros). Funded by the University of Ferrara. (Project leader)
Certification, Monitoring, and Interpretability of Artificial Intelligent Systems, (1700 Euros). Funded by the Italian National Group for Scientific Calculus
Fuzzy and Metric Symbolic Learning (80.960 Euros). Funded by the Italian region of Emilia Romagna in the context of the regional program 'Alte competenze' (Project leader)
Symbolic and Numerical Analysis of Cyber-Physical Systems (6900 Euros). Funded by the Italian National Group for Scientific Calculus
Conversational Automation and Voice&Speech Analysis for Active and Assisted Living (30000 Euros). Funded by the Italian region Friuli Venezia Giulia (Project co-leader)
Modal Geometric Symbolic Learning (2.650 Euros). Funded by the University of Ferrara (Project leader)
Natural Language Elaboration and Temporal Logic for Text Formalization (3000 Euros). Funded by the Italian National Group for Scientific Calculus
Set-up and Optimization of a Machine Learning Model to Predict Gas Turbine Trip (40.000 Euros). Funded by Siemens Gas and Power GmbH & Co. KG.
Strategic Reasoning and Automated Synthesis of Multi-Agent Systems (3000 Euros). Funded by the Italian National Group for Scientific Calculus
Improvement of the Integrated Software for Medical Records Generation and Production in the Center in the Center for Menopause and Osteoporosis Research of the University of Ferrara (5.000 Euros). Funded by Center of Menopause and Osteoporosis Research, University of Ferrara (Project leader)
Artificial Intelligence for Improving the Exploitation of Water and Food Resources (3.750 Euros). Funded by the University of Ferrara (Project leader)
New Mathematical and Computer Science Methods for Water and Food Resources Exploitation Optimization (80.960 Euros). Funded by the Italian region of Emilia Romagna in the context of the regional program 'Alte competenze' (Project leader)
Formal Methods for Techniques for Combined Verification (7000 Euros). Funded by the Italian National Group for Scientific Calculus
Formal Methods for Verification and Synthesis of Hybrid and Discrete Systems Logics and Automata for Interval Model Checking (8.500 Euros). Funded by the Italian National Group for Scientific Calculus
Development of an Integrated System for the Valorization of the role of Biobanks in Clinic/Pre-Clinic Research: from Cryopreservation of Biological Samples to Data Integration (48.450 Euros). Funded by region Emilia Romagna, DataRiver s.r.l (Modena, Italy), and Smart s.r.l. (Granarolo Emilia, Italy) (Project leader)
Sub-topic 4 (Cross-cutting topic) in the platform Smartfood: traceability and big data in the agri-food sector value chain. Leader region: Andalucia (Spain). Co-Leader region: Emilia-Romagna (Italy). Involved regions: 14 (Project co-leader)
Development of an Integrated Software for Medical Records Generation and Production in the Center in the Center for Menopause and Osteoporosis Research of the University of Ferrara (3.000 Euros). Funded by Center of Menopause and Osteoporosis Research, University of Ferrara (Project leader)
Characterization of the Multi-Acquifer System of the Padana Plain (15.000 Euros). Funded by ARPA-Veneto (Project co-leader)
Prediction of the Risk of Academic Dropout in the Degree of Computer Science (3.750 Euros). Funded by the University of Ferrara (Project leader)
Logics and Automata for Interval Model Checking (5.700 Euros). Funded by the Italian National Group for Scientific Calculus (Project leader)
Logic, Automata, and Games for Self-Adapting Systems (8.000 Euros). Funded by the Italian National Group for Scientific Calculus
Active Speech and Learning Analytics System (229.413 Euros). Funded by GAP SRL (Udine, Italy) and region Friuli Venezia-Giulia (Italy)
Temporal and Spatial Logics: New Methods and Practical Applications (15.000 Euros). Funded by the the Spanish Ministry of Education and Science (Project leader)
Formal Reasoning for Sustainability Problems. Funded by the Spanish Ministry of Education and Science
Smart Ubiquitous Environments for the Monitoring of Elderly Independent People: Intelligent Temporal Data Analysis for Context-Dependent Applications. Funded by the Spanish Ministry of Education and Science
Logics, Automata, and Games for the Verification of Complex Systems (9.000 Euros). Funded by the Italian National Group for Scientific Calculus
Metric Temporal Logics: Theory and Applications (8.000 euros). Funded by the Spanish Ministry of Education and Science (Project co-leader)
Red de Investigación Regional en Tecnologías de la Información y las Comunicaciones aplicadas a Medicina y Biología. Founded by Fundación Séneca
Intelligent Systems for Information Management in a Unit for Intensive Care: Tools for Research Support and Medical Assistance. Funded by the Spanish Ministry of Education and Science
Intelligent Tools for Quality Checking of Intra/Extra Hospical Care of Patients: an Approximation based on Clinic Guidelines. Funded by the Spanish Ministerio de Educacíon y Ciencia
Second Joint Italy/South Africa Science and Technology Agreement. Funded by the Italian Ministry of Foreign Affairs
Extra-Hospital Monitoring for Diagnosis and Research of Ischemic Cardiomyopathy: Tools for the Adquisition, Visualization, and Integration of Data, and Knowledge Discovery. Funded by the Spanish Ministerio de Ciencia y Tecnología
Constraint-Based Verification of Reactive Systems. Funded by the Italian Ministry of University and Research
First Joint Italy/South Africa Science and Technology Agreement. Funded by Italian Ministry of Foreign Affairs