4.1 Contributo in Atti di convegno

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

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 di 4.751

Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics

2019-01-01 Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.

Social Network Polluting Contents Detection through Deep Learning Techniques

2019-01-01 Martinelli, F.; Mercaldo, F.; Santone, A.

Neural Networks for Lung Cancer Detection through Radiomic Features

2019-01-01 Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.

Estimating the additional predictive power of bank-firm hard information in default models. An analysis on a sample of Italian firms

2017-01-01 Gallucci, Carmen; Formisano, Vincenzo; Modina, Michele; Pietrovito, Filomena

Thermo-economic analysis of a solar heating and cooling system with desiccant-based air handling unit by means of dynamic simulations

2014-01-01 Angrisani, Giovanni; Roselli, Carlo; Sasso, Maurizio; Tariello, Francesco

Can machine learning predict soccer match results?

2019-01-01 Capobianco, G.; Giacomo, U. D.; Mercaldo, F.; Nardone, V.; Santone, A.

Wearable Devices for Human Activity Recognition and User Detection

2019-01-01 Capobianco, G.; Di Giacomo, U.; Martinelli, F.; Mercaldo, F.; Santone, A.

Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique

2019-01-01 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.

Real-Time SCADA Attack Detection by Means of Formal Methods

2019-01-01 Martinelli, F.; Mercaldo, F.; Santone, A.

Land use change multi-approach assessment in a interregional context in South Italy

2017-01-01 Cervelli, E; Cialdea, D; Boccia, Lorenzo; Et, Al

A systematic approach to choose the data warehouse architecture

2019-01-01 Venditti, Antonello; Fasano, Fausto

Investigating mobile applications quality in official and third-party marketplaces

2019-01-01 Fasano, Fausto; Martinelli, Fabio; Mercaldo, Francesco; Santone, Antonella

Spyware detection using temporal logic

2019-01-01 Fasano, Fausto; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A

Parallel bug-finding in concurrent programs via reduced interleaving instances

2017-01-01 Truc L., Nguyen; Peter, Schrammel; Bernd, Fischer; Salvatore La, Torre; Parlato, G

A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds

2004-01-01 Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G

Hierarchical and Recursive State Machines with Context-Dependent Properties

2003-01-01 SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.

On the Complexity of Ltl Model-Checking of Recursive State Machines

2007-01-01 SALVATORE LA, Torre; Parlato, G

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width

2012-01-01 La Torre, S; Parlato, G

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models

2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G

Lazy-CSeq: A Lazy Sequentialization Tool for C

2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G

Titolo	Data di pubblicazione	Autore(i)
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics	1-gen-2019	Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Social Network Polluting Contents Detection through Deep Learning Techniques	1-gen-2019	Martinelli, F.; Mercaldo, F.; Santone, A.
Neural Networks for Lung Cancer Detection through Radiomic Features	1-gen-2019	Brunese, L.; Mercaldo, F.; Reginelli, A.; Santone, A.
Estimating the additional predictive power of bank-firm hard information in default models. An analysis on a sample of Italian firms	1-gen-2017	Gallucci, Carmen; Formisano, Vincenzo; Modina, Michele; Pietrovito, Filomena
Thermo-economic analysis of a solar heating and cooling system with desiccant-based air handling unit by means of dynamic simulations	1-gen-2014	Angrisani, Giovanni; Roselli, Carlo; Sasso, Maurizio; Tariello, Francesco
Can machine learning predict soccer match results?	1-gen-2019	Capobianco, G.; Giacomo, U. D.; Mercaldo, F.; Nardone, V.; Santone, A.
Wearable Devices for Human Activity Recognition and User Detection	1-gen-2019	Capobianco, G.; Di Giacomo, U.; Martinelli, F.; Mercaldo, F.; Santone, A.
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique	1-gen-2019	Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Real-Time SCADA Attack Detection by Means of Formal Methods	1-gen-2019	Martinelli, F.; Mercaldo, F.; Santone, A.
Land use change multi-approach assessment in a interregional context in South Italy	1-gen-2017	Cervelli, E; Cialdea, D; Boccia, Lorenzo; Et, Al
A systematic approach to choose the data warehouse architecture	1-gen-2019	Venditti, Antonello; Fasano, Fausto
Investigating mobile applications quality in official and third-party marketplaces	1-gen-2019	Fasano, Fausto; Martinelli, Fabio; Mercaldo, Francesco; Santone, Antonella
Spyware detection using temporal logic	1-gen-2019	Fasano, Fausto; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A
Parallel bug-finding in concurrent programs via reduced interleaving instances	1-gen-2017	Truc L., Nguyen; Peter, Schrammel; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds	1-gen-2004	Francesco, Carrabs; Raffaele, Cerulli; Monica, Gentili; Parlato, G
Hierarchical and Recursive State Machines with Context-Dependent Properties	1-gen-2003	SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
On the Complexity of Ltl Model-Checking of Recursive State Machines	1-gen-2007	SALVATORE LA, Torre; Parlato, G
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width	1-gen-2012	La Torre, S; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models	1-gen-2017	Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C	1-gen-2014	Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.001 a 1.020 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

Accesso al fulltext

no fulltext4747
open2
reserved2

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