A5108649396- Seismic Performance and Analysis
- Structural Health Monitoring Techniques
- Seismology and Earthquake Studies
- earthquake and tectonic studies
- Regional Development and Policy
- Disaster Management and Resilience
- Internet Traffic Analysis and Secure E-voting
- Network Security and Intrusion Detection
- Italian Social Issues and Migration
- Regional resilience and development
- Economic Zones and Regional Development
- Formal Methods in Verification
- Urban Planning and Landscape Design
- Disaster Response and Management
- Embedded Systems Design Techniques
- Real-time simulation and control systems
- Polish socio-economic development
- Masonry and Concrete Structural Analysis
- Knowledge Management and Technology
- Urban Planning and Valuation
- Advanced Malware Detection Techniques
- Geographic Information Systems Studies
Istituto Nazionale di Geofisica e Vulcanologia
2007-2021
University of Verona
2014
We describe the main structure and outcomes of new probabilistic seismic hazard model for Italy, MPS19 [Modello di Pericolosità Sismica, 2019]. Besides to outline framework adopted, multitude data that have been made available after preparation previous MPS04, set earthquake rate ground motion models used, we give particular emphasis novelties modeling outcomes. Specifically, (i) introduce a novel approach estimate visualize epistemic uncertainty over whole country; (ii) assign weights each...
The probabilistic seismic hazard of Italy was assessed in 2004 to match the requirements new provisions. This such map, now recognized as official reference for design according building and administrative issues, is result a comprehensive model that takes into account variability seismicity, seismogenic potential, propagation different areas Italy. Since 2004, we have computed terms peak ground acceleration spectral values varied annual probabilities exceedance, including measure their...
This paper presents a methodology to produce synthesizable HW descriptions starting from UML State Machine based representations. problem has already been widely addressed in the past. However, all previously proposed approaches present common characteristic: they restrict expressiveness of model. In particular, approach consists on definition ad-hoc profiles adapt typical constructs classical hardware description languages. Thus, forcing designer use only subset modeling language....