Sfoglia per Titolo
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando; Pistore, Marco
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, A.; Giunchiglia, E.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto; Tacchella, A.
Integrating behavioural and quantitative analysis with topology information
1996-01-01 Priami, Corrado
Integrating biocontrol agents in strawberry powdery mildew control strategies in high tunnel growing systems
2008-01-01 Pertot, I; Zasso, R; Amsalem, L; Baldessari, M; Angeli, G; Elad, Y
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
2002-01-01 G., Audemard; P., Bertoli; A., Cimatti; A., Kornilowicz; Sebastiani, Roberto
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis
2017-01-01 Conigliaro, D.; Ferrario, R.; Hudelot, C.; Porello, D.
Integrating cultural ecosystem services in wildfire risk assessment
2024-01-01 Vigna, Ingrid; Battisti, Luca; Ascoli, Davide; Besana, Angelo; Pezzoli, Alessandro; Comino, Elena
Integrating deep and radiomics features in cancer bioimaging
2019-01-01 Bizzego, A.; Bussola, N.; Salvalai, D.; Chierici, M.; Maggio, V.; Jurman, G.; Furlanello, C.
Integrating dendrochronology and geomatics to monitor natural hazards and landscape changes
2019-01-01 Ciolli, Marco; Bezzi, Marco; Comunello, Giovanni; Laitempergher, Giovanni; Gobbi, Stefano; Tattoni, Clara; Cantiani, Maria
Integrating direct electrical brain stimulation with the human connectome
2024-01-01 Coletta, Ludovico; Avesani, Paolo; Zigiotto, Luca; Venturini, Martina; Annicchiarico, Luciano; Vavassori, Laura; Ng, Sam; Duffau, Hugues; Sarubbo, Silvio
Integrating Domain Knowledge into Deep Networks for Lung Ultrasound with Applications to COVID-19
2021-01-01 Frank, Oz; Schipper, Nir; Vaturi, Mordehay; Soldati, Gino; Smargiassi, Andrea; Inchingolo, Riccardo; Torry, Elena; Perrone, Tiziano; Mento, Federico; Demi, Libertario; Galun, Meirav; Eldar, Yonina C; Bagon, Shai
Integrating ecological, scenic and local identity values in the management plan of an Alpine Natural Park
2011-01-01 Zanon, Bruno; Geneletti, Davide
Integrating economics with quantitative and qualitative hydrology for simulating global change scenarios on water resources and their salinity in the Ebro river basin
2009-01-01 N., Graveline; E., Ansik; Majone, Bruno; B., Grandmougin; R., van Duiden; E., Petelet; C., Merly
Integrating Ecosystem Services in Land Use Planning: Concepts and Applications
2012-01-01 Geneletti, Davide
Integrating ecosystem services in spatial planning and strategic environmental assessment: The role of the cascade model
2019-01-01 Rozas-Vásquez, Daniel; Fürst, Christine; Geneletti, Davide
Integrating Ecosystem Services in Transfer of Development Rights: A Literature Review
2023-01-01 Bruno, Erica; Falco, Enzo; Shahab, Sina; Geneletti, Davide
Integrating ecosystem services in transfer of development rights: a literature review
2023-01-01 Bruno, Erica; Falco, Enzo; Shahab, Sina; Geneletti, Davide
Integrating Ecosystem Services in urban planning
2018-01-01 Cortinovis, Chiara
Integrating field and satellite data for spatially-explicit inference on the density of threatened arboreal primates
2017-01-01 Cavada, Nathalie; Ciolli, Marco; Rocchini, Duccio; Barelli, Claudia; Marshall, Andrew R.; Rovero, Francesco
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