Concept

Char de combat principal

Publications associées (24)

Synthesis and Sintering of ZnO Nanopowders

Nanopowders are continuously under investigation as they open new perspectives in numerous fields. There are two main challenges to stimulating their development: sufficient low-cost, high throughput synthesis methods which lead to a production with well-d ...

Mdpi Ag2017

Implementation and Performance Analysis of the Lightning Potential Index as a Forecasting Tool

Farhad Rachidi-Haeri, Aleksandr Smorgonskii, Martina Lagasio

Severe weather events are responsible for hundreds of fatalities and millions of euros of damage every year in the Mediterranean basin. Lightning activity is a characteristic phenomenon of severe weather and often accompanies torrential rainfall, which und ...

Ieee2016

On recursion-free Horn clauses and Craig interpolation

Viktor Kuncak, Hossein Hojjat

One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various progr ...

Springer2015

Overview of the European project STRUCTURES

Farhad Rachidi-Haeri, Nicolas Mora Parra

An overview of the European project STRUCTURES and its main challenges is given. Current and foreseen Intentional Electromagnetic Interference (IEMI) threats are classified according to their availability, their technical characteristics (such as bandwidth ...

2014