CICIRELLI, FRANCO DOMENICO

CICIRELLI, FRANCO DOMENICO  

Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR  

Mostra records
Risultati 1 - 20 di 95 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
Clustering by an Evolutionary Random Swap Algorithm 1-gen-2025 Nigro, Libero; Cicirelli, Franco
Clustering Performance of an Evolutionary K-Means Algorithm 1-gen-2025 Nigro, L.; Cicirelli, F.; Pupo, F.
Fast Clustering Convergence by Genetic Algorithm 1-gen-2025 Nigro, L.; Cicirelli, F.
Leveraging Hyperspectral Data in Cognitive Environments 1-gen-2025 Micieli, Massimo; Cicirelli, Franco; Guerrieri, Antonio; Rizzo, Luigi; Vinci, Andrea; Zicari, Paolo
Modeling the Edge-Cloud Continuum: A Brain-Computer Interface Case Study 1-gen-2025 Rizzo, Luigi; Zicari, Paolo; Cicirelli, Franco; Gravina, Raffaele; Guerrieri, Antonio; Islam, Md Babul; Savaglio, Claudio; Vinci, Andrea
ParDP: A Parallel Density Peaks-Based Clustering Algorithm 1-gen-2025 Nigro, L.; Cicirelli, F.
Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes 1-gen-2025 Nigro, L.; Cicirelli, F.
Quadruped Robots: Bridging Mechanical Design, Control, and Applications 1-gen-2025 Li, Qimeng; Cicirelli, Franco; Vinci, Andrea; Guerrieri, Antonio; Qi, Wen; Fortino, Giancarlo
Skin Detection Through Hyperspectral Imaging 1-gen-2025 Micieli, Massimo; Cicirelli, Franco; D'Amore, Francesco; Guerrieri, Antonio; Vinci, Andrea
Toward a Metamodelling Approach for Water Distribution Systems 1-gen-2025 Cicirelli, Franco; Guerrieri, Antonio; Micieli, Massimo; Panza, Maria Antonietta; Varchera, Rosa; Vinci, Andrea
Using Brain-Computer Interface in Cognitive Buildings: a Real-Time Case Study 1-gen-2025 Rizzo, Luigi; Cicirelli, Franco; D'Amore, Francesco; Gentile, Antonio Francesco; Guerrieri, Antonio; Vinci, Andrea
A Study on Consumer-Grade EEG Headsets in BCI Applications 1-gen-2024 Rizzo, Luigi; Zicari, Paolo; Cicirelli, Franco; Guerrieri, Antonio; Micieli, Massimo; Vinci, Andrea
Blockchain-Empowered PSO for Scalable Swarm Robotics 1-gen-2024 Cicirelli, Franco; Greco, Emilio; Guerrieri, Antonio; Gentile, ANTONIO FRANCESCO; Spezzano, Giandomenico; Vinci, Andrea
Correctness Verification of Mutual Exclusion Algorithms by Model Checking 1-gen-2024 Nigro, L.; Cicirelli, F.
Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets 1-gen-2024 Nigro, L.; Cicirelli, F.
Human-Centric Based Energy and Comfort Optimization in Cognitive Buildings: A Review 1-gen-2024 Khan, Irfanullah; Guerrieri, Antonio; Cicirelli, Franco; Mcgough, A. Stephen; Spezzano, Giandomenico
Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings 1-gen-2024 Khan, I.; Cicirelli, F.; Greco, E.; Guerrieri, A.; Mastroianni, C.; Scarcello, L.; Spezzano, G.; Vinci, A.
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms 1-gen-2024 Nigro, L.; Cicirelli, F.; Pupo, F.
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 1-gen-2023 Nigro, Libero; Cicirelli, Franco; Pupo, Francesco
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 1-gen-2023 Nigro, Libero; Cicirelli, Franco