CINECA IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [35317] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 di 35.317 successivo > < precedente
Titolo Data di pubblicazione Autore(i) File
Local Completeness for Program Correctness and Incorrectness (Invited Talk) 1-gen-2023 Bruni, Roberto
Logics for Extensional, Locally Complete Analysis via Domain Refinements 1-gen-2023 Ascari, F.; Bruni, R.; Gori, R.
Exploiting Adjoints in Property Directed Reachability Analysis 1-gen-2023 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
On the decoupling of fracture modes in interlaminar fracture tests on bimaterial specimens 1-gen-2024 Tsokanas, Panayiotis; DA SILVA, Lucas F. M.; Mujika, Faustino; Arrese, Ainhoa; Fisicaro, Paolo; Valvo, Paolo S.
A Mixed Method Approach for Modeling Entry Capacity at Rotary Intersections 1-gen-2023 Pratelli, Antonio; Brocchini, Lorenzo; Roy Souleyrette, Reginald
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 1-gen-2023 Storniolo, Filippo; Leonardi, Luigi; Lettieri, Giuseppe
Uncertainty and Sensitivity Analyses of Source Term Estimates during an Unmitigated SBO Sequence in a PWR-1000 Reactor 1-gen-2023 Iglesias, Rafael; Angelucci, Michela; Paci, Sandro; Herranz, Luis E.
Domain Adaptive Decision Trees: Implications for Accuracy and Fairness 1-gen-2023 Alvarez, J. M.; Scott, K. M.; Berendt, B.; Ruggieri, S.
Scattering with Programmable Matter 1-gen-2023 Navarra, A.; Prencipe, G.; Bonini, S.; Tracolli, M.
ArchiVico Digitale: a comprehensive and synergistic approach for the preservation and dissemination of local memory to strengthen identity 1-gen-2023 Loconsole, Claudio; Giardina, Marianna; Salvatori, Enrica
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers 1-gen-2023 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
A NOVEL FE MODEL FOR THE TOWER OF PISA 1-gen-2023 DE FALCO, Anna; Butuc, Dionis; Resta, Carlo; Squeglia, Nunziante; Vignali, Laura
Effetti dell’area di origine e della tipologia di produzione sulla qualità del latte di pecora = Effects of origin area and type of production on the quality of sheep’s milk 1-gen-2023 Sodi, Irene; Salari, Federica; Altomonte, Iolanda; De Cesari, Alice; Martini, Mina
Preliminary uncertainty assessment of the containment behavior for the Phebus FPT1 test 1-gen-2023 Angelucci, Michela; Paci, Sandro
Analytical Pyrolysis: A Useful Tool to Analyze and Evaluate Consolidated Archaeological Wood 1-gen-2023 Lucejko, J. J.; Bargagli, I.; Mattonai, M.; Ribechini, E.; Colombini, M. P.; Chaumat, G.; Braovac, S.; Zborowska, M.; Modugno, F.
Historic stone pavement photogrammetric 3D-survey: a way to get a catalogue to pass on ancient crafts 1-gen-2023 Caroti, G.; Piemonte, A.; Ulivieri, D.
Neural Radiance Fields (NERF): review and potential applications to digital cultural heritage 1-gen-2023 Croce, V.; Caroti, G.; De Luca, L.; Piemonte, A.; Véron, P.
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 1-gen-2023 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Computing matching statistics on Wheeler DFAs 1-gen-2023 Conte, A.; Cotumaccio, N.; Gagie, T.; Manzini, G.; Prezza, N.; Sciortino, M.
A Virtual Reality-Based Setting to Investigate How Environments and Emotionally-Laden Stimuli Interact and Compete for Accessing Consciousness 1-gen-2024 Iannizzotto, A.; Frumento, S.; Menicucci, D.; Callara, A. L.; Gemignani, A.; Scilingo, E. P.; Greco, A.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 21 a 40 di 35.317 successivo > < precedente
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 di Convegno ...35316
  • 1 Contributo su Rivista1
Autore
  • D'AURIA, FRANCESCO SAVERIO719
  • FANUCCI, LUCA407
  • MONORCHIO, AGOSTINO351
  • PACI, SANDRO324
  • MANARA, GIULIANO310
  • GIORDANO, STEFANO307
  • BICCHI, ANTONIO294
  • NEPA, PAOLO281
  • SAPONARA, SERGIO252
  • BOGGI, UGO250
Data di pubblicazione
  • In corso di stampa140
  • 2020 - 20253601
  • 2010 - 201910907
  • 2000 - 200913945
  • 1990 - 19995134
  • 1980 - 19891431
  • 1970 - 1979156
  • 1961 - 19693
Editore
  • Institute of Electrical and Elect...1567
  • IEEE1160
  • Springer569
  • Springer Verlag322
  • IEEE Computer Society246
  • ETS175
  • Elsevier149
  • ACM127
  • IEEE - INST ELECTRICAL ELECTRONIC...124
  • Pisa University Press116
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE431
  • POS PROCEEDINGS OF SCIENCE126
  • JOURNAL OF PHYSICS. CONFERENCE SE...112
  • ELECTRONIC NOTES IN THEORETICAL C...71
  • ACTA HORTICULTURAE65
  • PROCEEDINGS OF SPIE, THE INTERNAT...58
  • NUCLEAR PHYSICS B-PROCEEDINGS SUP...54
  • ATTI DELLA SOCIETA' ITALIANA DELL...47
  • IEEE ENGINEERING IN MEDICINE AND ...44
  • IEEE INTERNATIONAL GEOSCIENCE AND...41
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE255
  • LECTURE NOTES IN ARTIFICIAL INTEL...113
  • CEUR WORKSHOP PROCEEDINGS99
  • IEEE ENGINEERING IN MEDICINE AND ...53
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...48
  • LECTURE NOTES IN ELECTRICAL ENGIN...46
  • LECTURE NOTES IN COMPUTER SCIENCE44
  • PROCEEDINGS OF SPIE, THE INTERNAT...41
  • COMMUNICATIONS IN COMPUTER AND IN...38
  • DIGEST - IEEE ANTENNAS AND PROPAG...38
Keyword
  • Computer Networks and Communications257
  • Electrical and Electronic Enginee...244
  • Computer Science (all)130
  • Computer Science Applications1707...125
  • Signal Processing123
  • Software117
  • Instrumentation116
  • Artificial Intelligence105
  • Theoretical Computer Science103
  • Biomedical Engineering89
Lingua
  • eng22463
  • ita6757
  • fre248
  • spa125
  • ger54
  • rus44
  • por28
  • und23
  • lat9
  • grc7
Accesso al fulltext
  • no fulltext32674
  • open1426
  • restricted892
  • reserved191
  • partially open125
  • embargoed6
  • mixed3