Sfoglia per Serie
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem
2020-01-01 Battistutta, M.; Ceschia, S.; De Cesco, F.; Di Gaspero, L.; Schaerf, A.; Topan, E.
Master and Rookie Networks for Person Re-identification
2019-01-01 Avola, D.; Cascio, M.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C.
Mirrors and Memory in Quantum Automata
2022-01-01 Piazza, C.; Romanello, R.
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies
2021-01-01 Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.; Son, T. C.
A new criterion for M,N-adhesivity, with an application to hierarchical graphs
2022-01-01 Castelnovo, D.; Gadducci, F.; Miculan, M.
A Novel Decision Tree Approach for the Handling of Time Series
2018-01-01 Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido
On the Security and Safety of AbU Systems
2021-01-01 Pasqua, M.; Miculan, M.
One-way resynchronizability of word transducers
2021-01-01 Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G.
Overall Survival Prediction in Gliomas Using Region-Specific Radiomic Features
2020-01-01 Shaheen, A.; Burigat, S.; Bagci, U.; Mohy-ud-Din, H.
Overview of JOKER@CLEF 2022: Automatic Wordplay and Humour Translation Workshop
2022-01-01 Ermakova, L.; Miller, T.; Regattin, F.; Bosser, A. -G.; Borg, C.; Mathurin, E.; Le Corre, G.; Araujo, S.; Hannachi, R.; Boccou, J.; Digue, A.; Damoy, A.; Jeanjean, B.
Pairing transitive closure and reduction to efficiently reason about partially ordered events
2000-01-01 Franceschet, M.; Montanari, A.
Reasoning About Proportional Lumpability
2021-01-01 Piazza, C.; Rossi, S.
Safe decomposition of startup requirements: verification and synthesis
2020-01-01 Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S.
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
2019-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Solving employee timetabling problems by generalized local search
2000-01-01 Schaerf, Andrea; Meisels, A.
Studying the Spatial Distribution of Volunteered Geographic Data Through a Non-parametric Approach
2020-01-01 Bressan, Giorgia; Zaccomer, Gian Pietro; Grassetti, Luca
The automorphism group of falsum-free product logic
2007-01-01 Panti, Giovanni
Timed Memory in Resource-Bounded Agents
2018-01-01 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
Using Integer Programming to Search for Counterexamples: A Case Study
2020-01-01 Lancia, G.; Pippia, E.; Rinaldi, F.
UX Concerns in Developing Functional Orthodontic Appliances
2020-01-01 Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem | 1-gen-2020 | Battistutta, M.; Ceschia, S.; De Cesco, F.; Di Gaspero, L.; Schaerf, A.; Topan, E. | |
Master and Rookie Networks for Person Re-identification | 1-gen-2019 | Avola, D.; Cascio, M.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C. | |
Mirrors and Memory in Quantum Automata | 1-gen-2022 | Piazza, C.; Romanello, R. | |
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies | 1-gen-2021 | Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.; Son, T. C. | |
A new criterion for M,N-adhesivity, with an application to hierarchical graphs | 1-gen-2022 | Castelnovo, D.; Gadducci, F.; Miculan, M. | |
A Novel Decision Tree Approach for the Handling of Time Series | 1-gen-2018 | Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido | |
On the Security and Safety of AbU Systems | 1-gen-2021 | Pasqua, M.; Miculan, M. | |
One-way resynchronizability of word transducers | 1-gen-2021 | Bose, S.; Krishna, S. N.; Muscholl, A.; Puppis, G. | |
Overall Survival Prediction in Gliomas Using Region-Specific Radiomic Features | 1-gen-2020 | Shaheen, A.; Burigat, S.; Bagci, U.; Mohy-ud-Din, H. | |
Overview of JOKER@CLEF 2022: Automatic Wordplay and Humour Translation Workshop | 1-gen-2022 | Ermakova, L.; Miller, T.; Regattin, F.; Bosser, A. -G.; Borg, C.; Mathurin, E.; Le Corre, G.; Araujo, S.; Hannachi, R.; Boccou, J.; Digue, A.; Damoy, A.; Jeanjean, B. | |
Pairing transitive closure and reduction to efficiently reason about partially ordered events | 1-gen-2000 | Franceschet, M.; Montanari, A. | |
Reasoning About Proportional Lumpability | 1-gen-2021 | Piazza, C.; Rossi, S. | |
Safe decomposition of startup requirements: verification and synthesis | 1-gen-2020 | Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S. | |
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL | 1-gen-2019 | Geatti, Luca; Gigante, Nicola; Montanari, Angelo | |
Solving employee timetabling problems by generalized local search | 1-gen-2000 | Schaerf, Andrea; Meisels, A. | |
Studying the Spatial Distribution of Volunteered Geographic Data Through a Non-parametric Approach | 1-gen-2020 | Bressan, Giorgia; Zaccomer, Gian Pietro; Grassetti, Luca | |
The automorphism group of falsum-free product logic | 1-gen-2007 | Panti, Giovanni | |
Timed Memory in Resource-Bounded Agents | 1-gen-2018 | Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina | |
Using Integer Programming to Search for Counterexamples: A Case Study | 1-gen-2020 | Lancia, G.; Pippia, E.; Rinaldi, F. | |
UX Concerns in Developing Functional Orthodontic Appliances | 1-gen-2020 | Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo |
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