An Eco-Cognitive Model of Ignorance Immunization Selene Arfini () Department of Philosophy, Education and Economical-quantitative Sciences, University of Chieti and Pescara Chieti-Pescara, 66013 Ita

Source URL: ceur-ws.org

Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy

Source URL: hcvs2016.it.uu.se

Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy

Source URL: www.sci.unich.it

Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy

Source URL: www.sci.unich.it

Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20

Source URL: www.sci.unich.it

Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’

Source URL: www.sci.unich.it

VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’,

Source URL: www.sci.unich.it

Microsoft Word - Posteri i Masterit Cultural Heritage.doc

Source URL: www.chtmbal.com

• Tourism
• Cultural tourism
• Human behavior
• Behavior
• Shkodër
• Luigj Gurakuqi
• University of Chieti

Spatial Network Sampling in Small Area Estimation Roberto Benedetti1, Stefano Marchetti2, Federica Piersimoni3, Monica Pratesi4,5 1 University “G. d’Annunzio” of Chieti-Pescara, ITALY 2,4 University of Pisa, ITALY

Source URL: www.statistics.gov.hk

• Statistical inference
• Survey methodology
• Signal processing
• Estimator
• Variance
• Sample size determination
• Mean squared error
• Linear regression
• Autocorrelation
• Statistics
• Estimation theory
• Sampling

Spatial Network Sampling in Small Area Estimation Roberto Benedetti University “G. d’Annunzio” of Chieti-Pescara, Italy Stefano Marchetti University of Pisa, Italy Fe

Source URL: www.statistics.gov.hk

• Science
• Market research
• Survey methodology
• Sample
• Simple random sample
• Statistics
• Sampling
• Information