Model Abstraction and Conditional Sampling with Score-Based Diffusion Models
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Giacomarra, Francesco; Scassola, Davide
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Klein, Julia; Petrov, Tatjana
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems
2025-01-01 Randone, Francesca; Doz, Romina; Cairoli, Francesca; Bortolussi, Luca
L’uso del Design Based Research per lo sviluppo di modelli didattici innovativi nelle scuole piccole e rurali. Il caso di “Classi in rete"
2024-01-01 Mangione, Gjr; Pieri, M.; Cacciamani, S.
Adattarsi alla metropoli oppure perire. La narrazione degli emarginati nei Großstadtromane della Repubblica di Weimar
2024-01-01 Lombardi, PIA CARMELA
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
2024-01-01 Randone, F.; Bortolussi, L.; Incerto, E.; Tribastone, M.
Monitoring Elastic Parameters Changes during Underground Hydrogen Storage Using Rock Physics Parametrized FWI
2024-01-01 Pantaleo, G.; Roncoroni, G.; Pipan, M.
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling
2024-01-01 Brusatin, Simone; Padoan, Tommaso; Coletta, Andrea; Delli Gatti, Domenico; Glielmo, Aldo
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
2024-01-01 Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca; Křetínský, Jan
Is Machine Learning Model Checking Privacy Preserving?
2025-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
Full Characterisation of Extended CTL*
2024-01-01 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
2024-01-01 Benerecetti, M.; Bozzelli, L.; Mogavero, F.; Peron, A.
L'interesse transfrontaliero negli appalti pubblici e le clausole di territorialità – postupaj europski, misli lokalno Prekogranični interes u javnim nabavama i teritorijalne klauzule - agisci europeo, pensa locale
2024-01-01 Crismani, Andrea
On Alcide De Gasperi’s argumentative defence of Trieste at the 1946 Paris Peace Conference
2024-01-01 Brambilla, Emanuele
Evolution of p-factors in the probabilistic damage stability assessment of passenger ships
2022-01-01 Vassalos, Dracos; Ahmed, Mujeeb; Paterson, Donald; Mauro, Francesco; Conti, Fabien
Novel Architecture for Beacon Signal Generation in Satellite Applications
2023-01-01 Schiavolini, G.; Orecchini, G.; Beltramello, A.; Loppi, A.; Pauletto, S.; Adamo, F.; Gorella, N. S.; Dogo, F.; Mania, D.; Fragiacomo, M.; Palazzi, V.; Roselli, L.; Mezzanotte, P.; Gregorio, A.; Alimenti, F.
Interpretable Model to Support Differential Diagnosis Between Ischemic Heart Disease, Dilated Cardiomyopathy and Healthy Subjects
2023-01-01 Iscra, Katerina; Ajcevic, Miloš; Miladinović, Aleksandar; Munaretto, Laura; Rizzi, Jacopo G.; Merlo, Marco; Accardo, Agostino
GRAPHENE OXIDE AS ADDITIVE FOR INCREASING THE STRENGTH AND DURABILITY PERFORMANCE OF EXISTING CONCRETE STRUCTURES
2022-01-01 Longarini, N.; Cabras, L.
Introducing Stochastic Functional Link Polynomial Filters
2023-01-01 Orcioni, S.; Carini, A.; Cecchi, S.; Conti, M.
Damage stability of passenger ships: a multi-modal analysis of the time to capsize
2023-01-01 Mauro, Francesco; Vassalos, Dracos; Paterson, Donald; Bae, Hongseok
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
Scopri
Tipologia
- 4 Contributo in Atti Convegno9983
Data di pubblicazione
- In corso di stampa9
- 2020 - 2025898
- 2010 - 20193430
- 2000 - 20093790
- 1990 - 19991433
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE724
- Institute of Electrical and Elect...212
- -199
- Springer189
- Springer Verlag144
- ACM109
- IFAC77
- IEEE Society67
- Elsevier57
- World Scientific52
Rivista
- GIORNALE ITALIANO DI PSICOPATOLOGIA72
- LECTURE NOTES IN COMPUTER SCIENCE57
- JOURNAL OF PHYSICS. CONFERENCE SE...42
- JOURNAL OF VISION27
- AIP CONFERENCE PROCEEDINGS25
- POS PROCEEDINGS OF SCIENCE24
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE50
- IFMBE PROCEEDINGS35
- CEUR WORKSHOP PROCEEDINGS20
- PROCEEDINGS OF SPIE, THE INTERNAT...14
- LEIBNIZ INTERNATIONAL PROCEEDINGS...13
- LECTURE NOTES IN COMPUTER SCIENCE10
- IFAC-PAPERSONLINE9
- IEEE CONFERENCE RECORD - NUCLEAR ...8
- PROGRESS IN MARINE SCIENCE AND TE...7
Keyword
- -142
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Computer Networks and Communications45
- Software45
- CFD44
- Computer Science (all)43
- Electrical and Electronic Enginee...43
Lingua
- eng7069
- ita2206
- fre59
- spa45
- ger38
- slv36
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext7930
- reserved1249
- open489
- partially open307
- mixed8