Pubblicazioni

Novel approach to selecting rotor position sensor resolution for variable frequency drives

2025 - IEEE TRANSACTIONS ON POWER ELECTRONICS

Tornello, L. D.; Scelba, G.; De Donato, G.; Capponi, F. G.; Scarcella, G.

Image analysis

2024 - Basic methods and protocols on sourdough

Verni, Michela; Rizzello, Carlo Giuseppe

Proof complexity and the binary encoding of combinatorial principles

2024 - SIAM JOURNAL ON COMPUTING

Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

A model eye for fluorescent characterization of retinal cultures and tissues

2023 - SCIENTIFIC REPORTS

Ferraro, G.; Gigante, Y.; Pitea, M.; Mautone, L.; Ruocco, G.; Di Angelantonio, S.; Leonetti, M.

Impact of closed loop pole placement on the low speed performance of VFDs using low-resolution position sensors

2023 - 2023 IEEE Energy Conversion Congress and Exposition, ECCE 2023

Tornello, L. D.; Scelba, G.; Turrisi, G.; De Donato, G.; Scarcella, G.; Capponi, F. G.

Bounded-depth Frege complexity of Tseitin formulas for all graphs

2022 - ANNALS OF PURE AND APPLIED LOGIC

Galesi, N.; Itsykson, D.; Riazanov, A.; Sofronova, A.

A new method to select rotor position sensor resolution in variable speed drives

2022 - 2022 IEEE Energy Conversion Congress and Exposition, ECCE 2022

Tornello, L. D.; Turrisi, G.; Scelba, G.; De Donato, G.; Capponi, F. G.; Scarcella, G.

Performances analysis of non-model-based speed estimation algorithms for motor drives

2022 - 24th European Conference on Power Electronics and Applications, EPE 2022 ECCE Europe

Turrisi, G.; Tornello, L. D.; Scelba, G.; De Donato, G.; Scarcella, G.

Resolution of Rotor Position Measurement: Modelling and Impact on Speed Estimation

2021 - IEEE JOURNAL OF EMERGING AND SELECTED TOPICS IN POWER ELECTRONICS

Scelba, Giacomo; De Donato, Giulio; Elsman, Abdelrahman; Tornello, Luigi Danilo; Scarcella, Giuseppe; Giulii Capponi, Fabio

Selection of rotor position sensor resolution for variable frequency drives utilizing fixed-position-based speed estimation

2021 - 2021 IEEE Energy conversion congress and exposition, ECCE 2021 - Proceedings

Tornello, L. D.; Scelba, G.; De Donato, G.; Capponi, F. G.; Scarcella, G.; Harbaugh, M.

Clique Is Hard on Average for Regular Resolution

2021 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY

Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A.

Low-cost, high-resolution, fault-robust position and speed estimation for PMSM drives operating in safety-critical systems

2019 - IEEE TRANSACTIONS ON POWER ELECTRONICS

De Donato, Giulio; Scelba, Giacomo; Pulvirenti, Mario; Scarcella, Giuseppe; Giulii Capponi, Fabio

Circular (Yet Sound) Proofs

2019 - Theory and Applications of Satisfiability Testing â SAT 2019

Atserias, A.; Lauria, M.

Polynomial calculus space and resolution width

2019 - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

Galesi, N.; Kolodziejczyk, L.; Thapen, N.

Cliques enumeration and tree-like resolution proofs

2018 - INFORMATION PROCESSING LETTERS

Lauria, Massimo

A note about k-DNF resolution

2018 - INFORMATION PROCESSING LETTERS

Lauria, Massimo

Space proof complexity for random 3-CNFs

2017 - INFORMATION AND COMPUTATION

Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, PAUL JOSEPH

Elucidation of the mechanisms governing the thermal diastereomerization of bioactive chiral 1,3,4-thiadiazoline spiro-cyclohexyl derivatives towards their anancomeric stereoisomers

2016 - RSC ADVANCES

Menta, Sergio; Carradori, S.; Siani, G.; Secci, Daniela; Mannina, Luisa; Sobolev, A. P.; Cirilli, R; Pierini, Marco

On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo

Surveiyng Iilusory architectures painted on vaulted surfaces

2016 -

Salvatore, Marta; Mancini, MATTEO FLAVIO

Narrow proofs may be maximally long

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Atserias, Albert; Lauria, Massimo; NordstrÃ¶m, Jakob

Etracorporeal shock wave therapy: an emerging treatment modality for retracting scars of the hands

2016 - ULTRASOUND IN MEDICINE AND BIOLOGY

Saggini, Raoul; Saggini, Andrea; Spagnoli, Anna Maria; Dodaj, Ira; Cigna, Emanuele; Maruccia, Michele; Soda, Giuseppe; Bellomo, Rosa Grazia; Scuderi, NicolÃ²

Adaptive conflict-free optimization of rule sets for network security packet filtering devices

2015 - JOURNAL OF COMPUTER NETWORKS AND COMMUNICATIONS

Baiocchi, Andrea; Gianluca, Maiolini; Annachiara, Mingo; Daniele, Goretti

Digital Photogrammetry and Structure from Motion for Architectural Heritage. Comparison and Integration between Procedures

2015 -

Ippoliti, Elena; Meschini, Alessandra; Sicuranza, Filippo

Effective dispersion and separation resolution in continuous particle fractionation

2015 - MICROFLUIDICS AND NANOFLUIDICS

Cerbelli, Stefano; Garofalo, Fabio; Giona, Massimiliano