IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.718
Titolo Data di pubblicazione Autore(i) File
Automated Verification of Fault Tolerance Mechanism 1-gen-1998 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
Formal Validation of Fault-tolerance Mechanisms 1-gen-1998 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 1-gen-1997 Barbuti, R; De Francesco, N; Santone, Antonella; Vaglini, G.
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 De Francesco, N; Santone, Antonella; Vaglini, G.
Unfold/Fold Transformations of Concurrent Processes 1-gen-1996 De Francesco, N; Santone, Antonella
Modelling OR-parallel Execution of Prolog using CHOCS 1-gen-1995 Barbuti, R; De Francesco, N; Santone, Antonella
Innesco del piping nei rilevati arginali. 1-gen-2016 Covelli, C.; Cozzolino, L.; Cimorelli, L.; Della Morte, R.; Molino, B.; Pianese, D.
Il difficile equilibrio tra libertà di espressione e protezione della dignità umana sulla rete: il caso del c.d. hate speech online 1-gen-2017 Falletta, Pietro Santo Leopoldo
Memorie e testimonianze di viaggio: la rappresentazione dell'emozioni italiane 1-gen-2017 Barlozzini, Piero
Towards better understanding of consumer behaviour: marginal utility as a parameter in neuromarketing research 1-gen-2017 Alvino, L; Constantinides, E; Franco, Massimo
Il ruolo del cibo nell’organizzazione degli edifici degli ordini religiosi tra Medioevo ed età contemporanea 1-gen-2017 Savorra, Massimiliano
Tradizioni manoscritte in era digitale 1-gen-2017 Montinaro, Antonio
Il significato didattico dell’Anatomia umana attraverso le cere del Museo “La Specola” di Firenze 1-gen-2004 Brizzi, E.; Sgambati, Eleonora; Poggesi, M.; Bambi, S.
The novel autophagy regulator Ambra-1 is required for nervous system development 1-gen-2007 DI BARTOLOMEO, Sabrina
Ambra1 is a key regulator of autophagy and cell proliferation. 1-gen-2008 DI BARTOLOMEO, Sabrina; Strappazzon, F; Fuoco, C; Fimia, Gm; Nazio, F; Cecconi, F.
Ceramide impairs DNA symthesis and induces apoptosis n CHP-100 neuroepithelioma cells 1-gen-1998 DI BARTOLOMEO, Sabrina; Di Sano, F; Piacentini, M; Spinedi, A.
Automatically Assessing Code Understandability: How Far Are We? 1-gen-2017 Scalabrino, Simone; Bavota, G.; Vendome, C.; Linares Vasquez, M.; Poshyvanyk, D.; Oliveto, Rocco
Investigating the Use of Code Analysis and NLP to Promote a Consistent Usage of Identifiers 1-gen-2017 Lin, B.; Scalabrino, Simone; Mocci, A.; Oliveto, Rocco; Bavota, G.; Lanza, M.
GEMMA: Multi-objective Optimization of Energy Consumption of GUIs in Android Apps 1-gen-2017 Linares Vasquez, M.; Bernal Cardenas, C.; Bavota, G.; Oliveto, Rocco; Di Penta, M; Poshyvanyk, D.
Supporting Software Developers with a Holistic Recommender System 1-gen-2017 Ponzanelli, L.; Scalabrino, Simone; Bavota, G.; Mocci, A.; Oliveto, Rocco; Di Penta, M.; Lanza, M.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.718
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 (Proceeding)4718
Autore
  • FABBROCINO, Giovanni303
  • MERCALDO, Francesco168
  • OLIVETO, Rocco152
  • SANTONE, Antonella151
  • MARCHETTI, Marco123
  • RAINIERI, Carlo122
  • TREMATERRA, Pasquale122
  • SARCHIAPONE, Marco114
  • SANTUCCI DE MAGISTRIS, Filippo94
  • CATALANO, Pasquale85
Data di pubblicazione
  • In corso di stampa20
  • 2020 - 2026569
  • 2010 - 20191495
  • 2000 - 20091921
  • 1990 - 1999613
  • 1980 - 198998
  • 1978 - 19791
Editore
  • Institute of Electrical and Electronics Engineers Inc.111
  • IEEE66
  • Springer Science and Business Media Deutschland GmbH31
  • IEEE Computer Society28
  • Springer28
  • Edizioni Scientifiche Italiane26
  • SciTePress23
  • Giuffrè21
  • R. Cudabba, E. Marconi18
  • Chiriotti Editori17
Rivista
  • ISTISAN CONGRESSI15
  • PROCEDIA COMPUTER SCIENCE14
  • ATTI CONFERENZA NAZIONALE ASITA13
  • JOURNAL OF PHYSICS. CONFERENCE SERIES9
  • GIORNALE BOTANICO ITALIANO7
  • PANORAMA DELLA SANITÀ7
  • ACTA HORTICULTURAE6
  • ITALIAN JOURNAL OF ANIMAL SCIENCE6
  • THE FEBS JOURNAL5
  • ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE40
  • LECTURE NOTES IN CIVIL ENGINEERING21
  • PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
  • COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE8
  • CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE7
  • PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
  • CEUR WORKSHOP PROCEEDINGS6
  • PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
  • ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
  • IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
  • Android34
  • Security25
  • suicide21
  • Software20
  • Machine Learning17
  • Malware17
  • suicidio16
  • deep learning13
  • machine learning13
  • Machine learning12
Lingua
  • eng2226
  • ita1826
  • fre33
  • ger16
  • und15
  • spa14
  • por3
  • grc2
  • lat2
  • cze1
Accesso al fulltext
  • no fulltext4714
  • open2
  • reserved2
Appartenenza
  • DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1185
  • DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1784
  • DIPARTIMENTO DI ECONOMIA279
  • DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE915
  • DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE535
  • DIPARTIMENTO GIURIDICO134