Sfoglia per Serie
A gray code for a regular language
2018 Elena Barcucci, Antonio Bernini, Renzo Pinzani
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs from their Degree Sequences
2023 Michela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi
Huntington’s disease and Scalar Expectancy Theory: A memory-based time perception deficit
2015 Righi, Stefania; Gronchi, Giorgio; Paganini, Marco; Piacentini, Silvia; Viggiano, Maria Pia
Incentive Compatibility In Consensus Protocols And DAOs: A Game-Theoretic Approach
2024 Murano A.; Bruno B.; Vespri V.
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach
2023 Bruno T.; Etenzi E.; Gualandi L.; Katra E.; Pugliese R.; Taranto A.; Tiezzi F.
Informal learning theories and tools to support knowledge management in distributed CoPs
2006 Pettenati M. C.; Ranieri M.
An integrated framework for automating content enrichment, packaging and distribution with DRM support
2006 Bellini P.; Bruno I.; Nesi P.; Rogai D.
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs
2025 Boreale M.; Collodi L.
Modeling and analyzing information quality requirements for socio-technical systems: Experience report
2015 Gharib M.; Giorgini P.
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta A.; Maggesi M.; Perini Brogi C.
On Attacks (Dis)Similarities to Test Adversarial Defense: Can We Reduce the Attack Set?
2024 Puccetti T.; Zoppi T.; Ceccarelli A.
On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology
2025 Kordi M.; Mariotti F.; Magrini R.; Lollini P.; Bondavalli A.
Predict Cellular network traffic with Markov Logic
2018 Lippi M.; Mamei M.; Zambonellli F.
Preface
2018 Ferrari L.; Vamvakari M.
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract)
2022 Burattin A.; Re B.; Rossi L.; Tiezzi F.
Reasoning with deep learning: An open challenge
2017 Lippi M.
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
2024 Cappanera P.; Caruso S.; Dodaro C.; Galata G.; Gavanelli M.; Maratea M.; Marte C.; Mochi M.; Nonato M.; Roma M.
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic
2025 Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton
Relational identity in adolescence: Between loneliness and sense of personal uniqueness
2019 Palma T.D.; Sica L.S.; Ciucci E.; Baroncelli A.; Carpenzano D.; Facci C.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile