Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
A Hybrid Approach for Multimedia Use Verification
2016-01-01 Phan, Quoc Tin; Alessandro, Budroni; Pasquini, Cecilia; De Natale, Francesco
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
Application of the fire safety engineering to a multi-storey steel building
2019-01-01 Weiss, Alessandro; Tondini, Nicola; Pustorino, Sandro
Modello di capacità e valutazione delle prestazioni per le rotatorie a turbina
2008-01-01 Giuffre', Orazio; Guerrieri, Marco; Grana', Anna
Effetti locali e d'area generati dalle misure di moderazione della velocità. Un bilancio da considerare in sede di pianificazione
2008-01-01 O., Giuffrè; A., Granà; Guerrieri, M
Le linee tranviarie in ambito urbano: condizioni di sicurezza nelle intersezioni stradali e provvedimenti per la tutela delle utenze deboli
2010-01-01 Guerrieri, M; Ticali, D
Il sistema tranviario e la mobilità sostenibile: il caso dei parchi
2008-01-01 Bruno, L.; Guerrieri, M
Traffic calming benefits: case studies from Italy
2011-01-01 Guerrieri, M; Ticali, D
Nuovi schemi geometrici di intersezioni stradali per l’incremento della capacita e della sicurezza
2011-01-01 Guerrieri, M; Ticali, M
Soluzioni innovative per le intersezioni stradali: un caso di turbo-rotatoria
2010-01-01 Guerrieri, M
From War Hero to Slave to Love: On the Reception of Achilles on Scyros in the Renaissance
2020-01-01 Galizzi Kroegel, Alessandra
Imparare a quantificare guardando
2016-01-01 Pezzelle, Sandro; Sorodoc, Ionut-teodor; Herbelot, Aurelie; Bernardi, Raffaella
Jointly learning to see, ask, decide when to stop, and then GuessWhat
2019-01-01 Shekhar, Ravi; Testoni, Alberto; Fernández, Raquel; Bernardi, Raffaella
Quantifiers in a MultimodalWorld: Hallucinating Vision with Language and Sound
2019-01-01 Testoni, Alberto; Pezzelle, Sandro; Bernardi, Raffaella
Psycholinguistics meets Continual Learning: Measuring Catastrophic Forgetting in Visual Question Answering
2020-01-01 Greco, Claudio; Plank, Barbara; Fernández, Raquel; Bernardi, Raffaella
Evaluating the Representational Hub of Language and Vision Models
2019-01-01 Shekhar, Ravi; Takmaz, Ece; Fernández, Raquel; Bernardi, Raffaella
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)20383
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa42
- 2020 - 20263436
- 2010 - 20197210
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2246
- Institute of Electrical and Elect...984
- Springer898
- ACM381
- IEEE Computer Society320
- Springer Verlag296
- SPIE186
- Association for Computing Machinery173
- CEUR-WS169
- Association for Computational Lin...168
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE696
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...184
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS OF THE IEEE CONFERENC...57
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica22
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- 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
- eng15301
- ita3579
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14946
- reserved3319
- open1596
- partially open515
- mixed7
- embargoed2