Morettin, Paolo

Morettin, Paolo  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.035 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Advanced SMT techniques for weighted model integration 1-gen-2019 Morettin, PaoloPasserini, AndreaSebastiani, Roberto
Efficient Generation of Structured Objects with Constrained Adversarial Networks 1-gen-2020 Di Liello LucaArdino PierfrancescoMorettin PaoloTeso StefanoPasserini Andrea +
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 1-gen-2017 Morettin, PaoloPasserini, AndreaSebastiani, Roberto
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey 1-gen-2021 Morettin, PaoloKolb, SamuelPasserini, Andrea +
Learning and Reasoning in Hybrid Structured Spaces 29-mag-2020 Morettin, Paolo
Learning Weighted Model Integration Distributions 1-gen-2020 Paolo MorettinStefano TesoAndrea Passerini +
NES2RA: Network expansion by stratified variable subsetting and ranking aggregation 1-gen-2018 Asnicar, FrancescoMasera, LucaColler, EmanuelaMorettin, PaoloErculiani, LucaMalacarne, GiuliaArgentini, AndreaCavecchia, ValterMoser, ClaudioBlanzieri, Enrico +
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 1-gen-2019 Morettin, PaoloPasserini, AndreaSebastiani, Roberto +
TN-Grid and gene@home Project: Volunteer Computing for Bioinformatics 1-gen-2015 Asnicar, FrancescoMasera, LucaMorettin, PaoloMoser, ClaudioBlanzieri, EnricoCavecchia, Valter +