4 papers
SMT-based Symbolic Model-Checking for Operator Precedence Languages
Michele Chiari, Luca Geatti, Nicola Gigante +1
Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the…
Locuaz: an in-silico platform for antibody fragments optimization
German P. Barletta, Rika Tandiana, Miguel Soler +2
Motivation: Engineering high-affinity binders targeting specific antigenic determinants remains a challenging and often daunting task, requiring extensive experimental screening. C…
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Vito Barbara, Massimo Guarascio, Nicola Leone +4
Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performe…
The Wide Field Monitor onboard the eXTP mission
M. Hernanz, S. Brandt, M. Feroci +37
The eXTP (enhanced X-ray Timing and Polarimetry) mission is a major project of the Chinese Academy of Sciences (CAS) and China National Space Administration (CNSA) currently perfor…