Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
A matheuristic algorithm for a large-scale energy management problem
2012-01-01 Anghinolfi, Davide; L. M., Gambardella; R., Montemanni; Nattero, Cristiano; Paolucci, Massimo; N. E., Toklu
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments
2011-01-01 Reggio, Gianna; Ricca, Filippo; G., Scanniello; F. D., Cerbo; G., Dodero
A recommendation technique for spatial data
2011-01-01 Catania, Barbara; M. T., Pinto; P., Podesta`; D., Pomerano
A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network
2005-01-01 Guerrini, Giovanna; Mascardi, Viviana; M., Mesiti
Abstract solvers for dung’s argumentation frameworks
2015-01-01 Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
Abstract Solvers for Quantified Boolean Formulas and their Applications
2015-01-01 Brochenin, Remi; Maratea, Marco
Accuracy and Intrusiveness in Data-Driven Violin Players Skill Levels Prediction: MOCAP Against MYO Against KINECT
2021-01-01 D'Amato, V.; Volta, E.; Oneto, L.; Volpe, G.; Camurri, A.; Anguita, D.
Adapting Autonomous Agents for Automotive Driving Games
2021-01-01 Campodonico, G.; Bellotti, F.; Berta, R.; Capello, A.; Cossu, M.; De Gloria, A.; Lazzaroni, L.; Taccioli, T.; Davio, F.
Adaptive bandwidth partitioning among TCP elephant connections over multiple rain-faded satellite channels
2005-01-01 Celandroni, Nedo; Davoli, Franco; Ferro, Erina; Gotta, Alberto
Adaptively Approximate Techniques in Distributed Architectures
2015-01-01 Catania, Barbara; Guerrini, Giovanna
Adenine: A HPC-oriented tool for biological data exploration
2019-01-01 Fiorini, Samuele; Tomasi, Federico; Squillario, Margherita; Barla, Annalisa
Advances in Multi-engine ASP Solving
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 M., Bozzano; Delzanno, Giorgio
Algorithms for Solving Satisfiability Problems with Qualitative Preferences
2012-01-01 Giunchiglia, Enrico; Maratea, Marco
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Analysis of Dynamic Brain Connectivity Through Geodesic Clustering
2019-01-01 Yamin, A.; Dayan, M.; Squarcina, L.; Brambilla, P.; Murino, V.; Diwadkar, V.; Sona, D.
An Anomaly Detection Approach for Plankton Species Discovery
2022-01-01 Pastore, Vito Paolo; Megiddo, Nimrod; Bianco, Simone
APPregator: A Large-Scale Platform for Mobile Security Analysis
2020-01-01 Verderame, L.; Caputo, D.; Romdhana, A.; Merlo, A.
Assessing the Efficiency of Health Care Providers: A SOM Perspective
2011-01-01 Resta, Marina
Asynchronous Global Types in Co-logic Programming
2021-01-01 Bianchini, R.; Dagnino, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A matheuristic algorithm for a large-scale energy management problem | 1-gen-2012 | Anghinolfi, Davide; L. M., Gambardella; R., Montemanni; Nattero, Cristiano; Paolucci, Massimo; N. E., Toklu | |
| A Precise Style for Business Process Modelling: Results from Two Controlled Experiments | 1-gen-2011 | Reggio, Gianna; Ricca, Filippo; G., Scanniello; F. D., Cerbo; G., Dodero | |
| A recommendation technique for spatial data | 1-gen-2011 | Catania, Barbara; M. T., Pinto; P., Podesta`; D., Pomerano | |
| A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network | 1-gen-2005 | Guerrini, Giovanna; Mascardi, Viviana; M., Mesiti | |
| Abstract solvers for dung’s argumentation frameworks | 1-gen-2015 | Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan | |
| Abstract Solvers for Quantified Boolean Formulas and their Applications | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
| Accuracy and Intrusiveness in Data-Driven Violin Players Skill Levels Prediction: MOCAP Against MYO Against KINECT | 1-gen-2021 | D'Amato, V.; Volta, E.; Oneto, L.; Volpe, G.; Camurri, A.; Anguita, D. | |
| Adapting Autonomous Agents for Automotive Driving Games | 1-gen-2021 | Campodonico, G.; Bellotti, F.; Berta, R.; Capello, A.; Cossu, M.; De Gloria, A.; Lazzaroni, L.; Taccioli, T.; Davio, F. | |
| Adaptive bandwidth partitioning among TCP elephant connections over multiple rain-faded satellite channels | 1-gen-2005 | Celandroni, Nedo; Davoli, Franco; Ferro, Erina; Gotta, Alberto | |
| Adaptively Approximate Techniques in Distributed Architectures | 1-gen-2015 | Catania, Barbara; Guerrini, Giovanna | |
| Adenine: A HPC-oriented tool for biological data exploration | 1-gen-2019 | Fiorini, Samuele; Tomasi, Federico; Squillario, Margherita; Barla, Annalisa | |
| Advances in Multi-engine ASP Solving | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | M., Bozzano; Delzanno, Giorgio | |
| Algorithms for Solving Satisfiability Problems with Qualitative Preferences | 1-gen-2012 | Giunchiglia, Enrico; Maratea, Marco | |
| An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Analysis of Dynamic Brain Connectivity Through Geodesic Clustering | 1-gen-2019 | Yamin, A.; Dayan, M.; Squarcina, L.; Brambilla, P.; Murino, V.; Diwadkar, V.; Sona, D. | |
| An Anomaly Detection Approach for Plankton Species Discovery | 1-gen-2022 | Pastore, Vito Paolo; Megiddo, Nimrod; Bianco, Simone | |
| APPregator: A Large-Scale Platform for Mobile Security Analysis | 1-gen-2020 | Verderame, L.; Caputo, D.; Romdhana, A.; Merlo, A. | |
| Assessing the Efficiency of Health Care Providers: A SOM Perspective | 1-gen-2011 | Resta, Marina | |
| Asynchronous Global Types in Co-logic Programming | 1-gen-2021 | Bianchini, R.; Dagnino, F. |
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