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
The vital influence of permeable volume on the damage stability of passenger ships
2022-01-01 Vassalos, Dracos; Atzampos, George; Paterson, Donald; Mauro, Francesco; Ahmed, Mujeeb
Alighning intact and damage stability in a multi-level-assessment framework
2022-01-01 Vassalos, Dracos; Paterson, Donald; Mauro, Francesco; Murphy, Alistair; Ahmed, Mujeeb; Michalec, Romain; Boulougouris, Evangelos
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 Convegno10327
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261219
- 2010 - 20193450
- 2000 - 20093788
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE750
- Institute of Electrical and Elect...253
- Springer215
- -200
- Springer Verlag146
- ACM118
- IFAC77
- IEEE Society67
- Elsevier57
- IOS Press53
Rivista
- GIORNALE ITALIANO DI PSICOPATOLOGIA72
- LECTURE NOTES IN COMPUTER SCIENCE57
- JOURNAL OF PHYSICS. CONFERENCE SE...41
- POS PROCEEDINGS OF SCIENCE29
- JOURNAL OF VISION27
- AIP CONFERENCE PROCEEDINGS25
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE64
- IFMBE PROCEEDINGS37
- CEUR WORKSHOP PROCEEDINGS26
- PROGRESS IN MARINE SCIENCE AND TE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...15
- LEIBNIZ INTERNATIONAL PROCEEDINGS...13
- PROGRESS IN MARINE SCIENCE AND TE...13
- LECTURE NOTES IN COMPUTER SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
Keyword
- -143
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Software46
- CFD45
- Computer Networks and Communications45
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7383
- ita2238
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8077
- reserved1378
- open553
- partially open319