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

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 di 4.751
Titolo Data di pubblicazione Autore(i) File
Effects of chewing insect attack (Blaptica dubia) on color photographic prints 1-gen-2015 Trematerra, Pasquale
Effect of nitrogen fertilization on maize weevil Sitophilus zeamais: wheat preferences, development time and progeny production 1-gen-2015 Trematerra, Pasquale; Colacci, Marco
Presenza e dispersione di Sitotroga cerealella in una azienda agricola dell'Italia centro-meridionale 1-gen-2016 Trematerra, Pasquale
ENHANCED HAPTIC INTERACTION IN MEDICAL APPLICATIONS BY MEANS OF COLOR BASED DEFORMABILITY MAP 1-gen-2009 Andrea F., Abate; Antonio Di, Martino; Ricciardi, Stefano
Reconstructing the Lost Moregine Site: A VR Based Approach to Simulate and Navigate  an Inaccessible Archaeological Excavation 1-gen-2011 Ricciardi, Stefano; Salvatore Ciro, Nappo; Teresa, Paduano
Il recupero delle strutture in calcestruzzo armato: l'influenza del ritiro sulle prestazioni in zona sismica 1-gen-2017 Catalano, Agostino; Sansone, Camilla
Esoscheletri e sensoristica per la riduzione della vulnerabilità sismica di edifici di nuova progettazione ed esistenti in calcestruzzo armato 1-gen-2017 Catalano, Agostino
Analysis of protease levels in brain samples from Alzheimer’s patients 1-gen-2017 Bartollino, Silvia; Medoro, Alessandro; Marziliano, Nicola; Mignogna, Donatella; Raimo, Gennaro; Intrieri, Mariano; Russo, Claudio
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 1-gen-2017 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Modular verification of abstract software descriptions 1-gen-2004 Gradara, S; Santone, Antonella; Vaglini, G; Villani, Ml
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 1-gen-2011 Francesca, G; Santone, Antonella; Vaglini, G; Villani, Ml
A* for Deadlock Detection in CCS processes 1-gen-2003 Gradara, S; Santone, Antonella; Villani, Ml
Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking 1-gen-2002 De Francesco, N; Santone, Antonella
Efficient Formal Verification in Banking Processes 1-gen-2013 Santone, Antonella; Intilangelo, V; Raucci, D.
Checking Safety Proprieties through Simulation and Heuristic Search 1-gen-2013 De Francesco, N; Lettieri, G; Santone, Antonella; Vaglini, G.
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 1-gen-2015 Ceccarelli, M; Cerulo, L; De Ruvo, G; Nardone, V; Santone, Antonella
Car Hacking Identification through Fuzzy Logic Algorithms 1-gen-2017 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Automatable Integrations for the Reuse of Concurrent Specifications 1-gen-2001 Santone, Antonella; Vaglini, G.
Heuristic for Simulation Checking 1-gen-2011 Santone, Antonella
Probabilistic Model Checking applied to Spacecraft Reconfiguration 1-gen-2016 Nardone, V; Santone, Antonella; Tipaldi, M; Glielmo, L.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 di 4.751
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)4751
Autore
  • FABBROCINO, Giovanni315
  • MERCALDO, Francesco168
  • OLIVETO, Rocco154
  • SANTONE, Antonella151
  • RAINIERI, Carlo124
  • MARCHETTI, Marco123
  • TREMATERRA, Pasquale122
  • SARCHIAPONE, Marco114
  • SANTUCCI DE MAGISTRIS, Filippo96
  • CATALANO, Pasquale85
Data di pubblicazione
  • In corso di stampa20
  • 2020 - 2026602
  • 2010 - 20191495
  • 2000 - 20091921
  • 1990 - 1999613
  • 1980 - 198998
  • 1978 - 19791
Editore
  • Institute of Electrical and Electronics Engineers Inc.112
  • IEEE67
  • Springer Science and Business Media Deutschland GmbH32
  • Springer29
  • IEEE Computer Society28
  • 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
  • PROCEDIA STRUCTURAL INTEGRITY7
  • ACTA HORTICULTURAE6
  • ITALIAN JOURNAL OF ANIMAL SCIENCE6
  • THE FEBS JOURNAL5
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • 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 CONFERENCE8
  • 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
  • eng2246
  • ita1832
  • fre33
  • ger16
  • und15
  • spa14
  • por3
  • grc2
  • lat2
  • cze1
Accesso al fulltext
  • no fulltext4747
  • open2
  • reserved2
Appartenenza
  • DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1186
  • DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1806
  • DIPARTIMENTO DI ECONOMIA283
  • DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE916
  • DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE540
  • DIPARTIMENTO GIURIDICO135