FIG: The Finite Improbability Generator
2020-01-01 Budde, Carlos E.
Rare Event Simulation for Non-Markovian Repairable Fault Trees
2020-01-01 Budde, Carlos E.; Biagi, Marco; Monti, Raúl E.; D'Argenio, Pedro R.; Stoelinga, Mariëlle
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
2020-01-01 Budde, Carlos E.; Stoelinga, Mariëlle
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
2020-01-01 Arias, J.; Budde, C. E.; Penczek, W.; Petrucci, L.; Sidoruk, T.; Stoelinga, M.
Development of a Muon detector for educational purposes
2022-01-01 Nicolaidis, Riccardo; Iuppa, Roberto; Nozzoli, Francesco; Ricci, Leonardo
Human-Machine Collaboration Approaches to Build a Dialogue Dataset for Hate Speech Countering
2022-01-01 Bonaldi, Helena; Dellantonio, Sara; Tekiroglu, Serra Sinem; Guerini, Marco
Using Pre-Trained Language Models for Producing Counter Narratives Against Hate Speech: a Comparative Study
2022-01-01 Tekiroglu, Serra Sinem; Bonaldi, Helena; Fanton, Margherita; Guerini, Marco
Dodging the Data Bottleneck: Automatic Subtitling with Automatically Segmented ST Corpora
2022-01-01 Papi, Sara; Karakanta, Alina; Negri, Matteo; Turchi, Marco
Vitellius: lo 'status quaestionis' e prospettive
2020-01-01 Beggio, Tommaso
Who Are We Talking About? Handling Person Names in Speech Translation
2022-01-01 Gaido, Marco; Negri, Matteo; Turchi, Marco
Over-Generation Cannot Be Rewarded: Length-Adaptive Average Lagging for Simultaneous Speech Translation
2022-01-01 Papi, S.; Gaido, M.; Negri, M.; Turchi, M.
Language without shared meaning : preliminary considerations on the evolutionary benefits of subjectivity
2022-01-01 Kabbach, Alexandre; Herbelot, Aurelie
Functional Modelling in Engineering: A First Comparison of Approaches on Two Problems
2022-01-01 Compagno, Francesco; Borgo, Stefano
Ma non me n’accorgo: Dante e la sua intuizione dell’invarianza galileiana
2022-01-01 Ricci, Leonardo
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, A.; Griggio, A.; Redondi, G.
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, A.; Griggio, A.; Redondi, G.
Venus subsurface targets: assessment of detectability using radar sounder simulations
2020-01-01 Thakur, Sanchari; Sbalchiero, Elisa; Nicolussi Paolaz, Elisa; Bovolo, Francesca; Bruzzone, Lorenzo
Viewing Graph Solvability via Cycle Consistency
2021-01-01 Arrigoni, Federica; Fusiello, Andrea; Ricci, Elisa; Pajdla, Tomas
Asynchronous Distributed-Memory Triangle Counting and LCC with RMA Caching
2022-01-01 Strausz, A.; Vella, F.; Di Girolamo, S.; Besta, M.; Hoefler, T.
Physical Layer Authentication in Underwater Acoustic Networks with Mobile Devices
2022-01-01 Casari, Paolo; Ardizzon, Francesco; Tomasin, Stefano
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
- 04 Convegni (Proceedings)20439
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20273493
- 2010 - 20197208
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2223
- Institute of Electrical and Elect...1019
- Springer900
- ACM380
- IEEE Computer Society331
- Springer Verlag298
- SPIE187
- Association for Computing Machinery174
- Springer Science and Business Med...171
- Association for Computational Lin...169
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- INTERNATIONAL ARCHIVES OF THE PHO...13
- AIP CONFERENCE PROCEEDINGS12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE705
- CEUR WORKSHOP PROCEEDINGS261
- PROCEEDINGS OF SPIE, THE INTERNAT...187
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE113
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...79
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IFAC-PAPERSONLINE58
- IEEE INTERNATIONAL GEOSCIENCE AND...54
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...32
- Settore INF/01 - Informatica23
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...9
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15351
- ita3585
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14965
- reserved3345
- open1606
- partially open517
- mixed6
- embargoed2