Kolb, Samuel Maria

Kolb, Samuel Maria  

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

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.044 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey 1-gen-2021 Morettin, PaoloKolb, SamuelPasserini, Andrea +
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation 1-gen-2020 Kolb, SamuelTeso, Stefano +
Learning SMT(LRA) Constraints using SMT Solvers 1-gen-2018 Kolb, Samuel MariaTeso, StefanoPasserini, Andrea +
Measurement of the production cross section of pairs of isolated photons in pp collisions at 13 TeV with the ATLAS detector 1-gen-2021 Aggarwal A.Ali B.Avolio G.Baldin E. M.Battaglia M.Bella G.Betti A.Bruni A.Bruni G.Campanelli M.Carbone A.Carlino G.Caron S.Celli F.Cerutti F.Chen H.Chen H.Chen J.Chen J.Chen J.Chen S.Chen X.Chen X.Chen Y.Cristoforetti M.Dam M.De Santis M.Di Gregorio G.Di Luca A.Doria A.Dutta B.Fanti M.Feng M.Follega F. M.Forcolin G. T.Freund B.Gentile S.George S.Giannini A.Guo J.Guo Y.Gutierrez P.Han K.Han L.Han L.Han S.Hu S.Huang Y.Huang Y.Iuppa R.Jackson P.Jiang Y.Johansson P.Kim E.Kolb M.Kumar M.Kumari N.Lanza A.Lee S.Li M.Liang Z.Liu M.Liu X.Liu Y.Liu Y.Longo L.Love J.Love P. A.Maio A.Marchese L.Marcon C.Martinelli L.Martinez M.Massa L.Matic A.Mueller J.Pastore F.Pham T.Pinamonti M.Qin Y.Rimoldi A.Rimoldi M.Rodriguez Rodriguez A.Saha S.Santos H.Sessa M.Shapiro M.Shi L.Sinha S.Sinha S.Sultan D. M. S.Sun S.Sun S.Testa M.Truong L.Usman M.Vecchio V.Villa M.Vos M.Wagner P.Walker R.Wang C.Wang C.Wang Y.Weber C.Wei Y.Xie M.Xu D.Xu Y.Xu Z.Xu Z.Yan S.Yang S.Yang X.Yang X.Ye J.Zhang B.Zhang G.Zhang M.Zhang R.Zhang X.Zhang X.Zhao Z.Zhu Y.Zimmermann S. +
Predictive spreadsheet autocompletion with constraints 1-gen-2020 Kolb, SamuelTeso, Stefano +